Context                Previous, Next                Top


1_a_duplex
Google's robot caller in first public trial

%3 r_0001_0004__caller caller r_0001_0001__Google_r_0001_0002___apos_s Google 's r_0001_0004__caller->r_0001_0001__Google_r_0001_0002___apos_s [gen] r_0001_0003__robot robot r_0001_0004__caller->r_0001_0003__robot [attrib] r_0001_0006__first_r_0001_0008__trial first trial r_0001_0007__public public r_0001_0006__first_r_0001_0008__trial->r_0001_0007__public [attrib] z_000_1_a_duplex_1 z_000_1_a_duplex_1->r_0001_0004__caller [nim] z_000_1_a_duplex_1->r_0001_0006__first_r_0001_0008__trial in [nim] 
arc(r_0001_0004__caller, r_0001_0001__Google_r_0001_0002___apos_s, gen).
arc(r_0001_0004__caller, r_0001_0003__robot, attrib8).
arc(r_0001_0006__first_r_0001_0008__trial, r_0001_0007__public, attrib19).
arc(z_000_1_a_duplex_1, r_0001_0004__caller, nim2).
arc(z_000_1_a_duplex_1, r_0001_0006__first_r_0001_0008__trial, r_0001_0005__in_nim16).


%3 z_000_1_a_duplex_1 r_0001_0006__first_r_0001_0008__trial first trial z_000_1_a_duplex_1->r_0001_0006__first_r_0001_0008__trial in [nim] r_0001_0004__caller caller z_000_1_a_duplex_1->r_0001_0004__caller [nim] r_0001_0007__public public r_0001_0006__first_r_0001_0008__trial->r_0001_0007__public [attrib] r_0001_0003__robot robot r_0001_0004__caller->r_0001_0003__robot [attrib] r_0001_0001__Google_r_0001_0002___apos_s Google 's r_0001_0004__caller->r_0001_0001__Google_r_0001_0002___apos_s [gen] 
fof(formula,axiom,
    ? [R_0001_0001__GOOGLE_R_0001_0002___APOS_S,R_0001_0003__ROBOT,R_0001_0004__CALLER,R_0001_0007__PUBLIC,R_0001_0006__FIRST_R_0001_0008__TRIAL,Z_000_1_A_DUPLEX_1] :
      ( r_0001_0001__Google_r_0001_0002___apos_s(R_0001_0001__GOOGLE_R_0001_0002___APOS_S)
      & r_0001_0003__robot(R_0001_0003__ROBOT)
      & r_0001_0007__public(R_0001_0007__PUBLIC)
      & z_000_1_a_duplex_1(Z_000_1_A_DUPLEX_1)
      & has_r_0001_0005__in_nim16(Z_000_1_A_DUPLEX_1,R_0001_0006__FIRST_R_0001_0008__TRIAL)
      & r_0001_0006__first_r_0001_0008__trial(R_0001_0006__FIRST_R_0001_0008__TRIAL)
      & has_attrib19(R_0001_0006__FIRST_R_0001_0008__TRIAL,R_0001_0007__PUBLIC)
      & has_nim2(Z_000_1_A_DUPLEX_1,R_0001_0004__CALLER)
      & r_0001_0004__caller(R_0001_0004__CALLER)
      & has_attrib8(R_0001_0004__CALLER,R_0001_0003__ROBOT)
      & has_gen(R_0001_0004__CALLER,R_0001_0001__GOOGLE_R_0001_0002___APOS_S) ) ).


n1_a_duplex n1_a_duplex__1_1_1_1_1 Google n1_a_duplex__1_1_1_2_1 's n1_a_duplex__1_1_2_1_1 robot n1_a_duplex__1_1_3_1 caller n1_a_duplex__1_2_1_1 in n1_a_duplex__1_2_2_1_1 first n1_a_duplex__1_2_2_2_1_1 public n1_a_duplex__1_2_2_3_1 trial n1_a_duplex__1 FRAG n1_a_duplex__1_1 NP n1_a_duplex__1->n1_a_duplex__1_1 n1_a_duplex__1_2 PP n1_a_duplex__1->n1_a_duplex__1_2 n1_a_duplex__1_1_1 NP-GEN n1_a_duplex__1_1->n1_a_duplex__1_1_1 n1_a_duplex__1_1_2 ADJP n1_a_duplex__1_1->n1_a_duplex__1_1_2 n1_a_duplex__1_1_3 N n1_a_duplex__1_1->n1_a_duplex__1_1_3 n1_a_duplex__1_1_1_1 NPR n1_a_duplex__1_1_1->n1_a_duplex__1_1_1_1 n1_a_duplex__1_1_1_2 GENM n1_a_duplex__1_1_1->n1_a_duplex__1_1_1_2 n1_a_duplex__1_1_1_1->n1_a_duplex__1_1_1_1_1 n1_a_duplex__1_1_1_2->n1_a_duplex__1_1_1_2_1 n1_a_duplex__1_1_2_1 ADJ n1_a_duplex__1_1_2->n1_a_duplex__1_1_2_1 n1_a_duplex__1_1_2_1->n1_a_duplex__1_1_2_1_1 n1_a_duplex__1_1_3->n1_a_duplex__1_1_3_1 n1_a_duplex__1_2_1 P-ROLE n1_a_duplex__1_2->n1_a_duplex__1_2_1 n1_a_duplex__1_2_2 NP n1_a_duplex__1_2->n1_a_duplex__1_2_2 n1_a_duplex__1_2_1->n1_a_duplex__1_2_1_1 n1_a_duplex__1_2_2_1 NUM n1_a_duplex__1_2_2->n1_a_duplex__1_2_2_1 n1_a_duplex__1_2_2_2 ADJP n1_a_duplex__1_2_2->n1_a_duplex__1_2_2_2 n1_a_duplex__1_2_2_3 N n1_a_duplex__1_2_2->n1_a_duplex__1_2_2_3 n1_a_duplex__1_2_2_1->n1_a_duplex__1_2_2_1_1 n1_a_duplex__1_2_2_2_1 ADJ n1_a_duplex__1_2_2_2->n1_a_duplex__1_2_2_2_1 n1_a_duplex__1_2_2_2_1->n1_a_duplex__1_2_2_2_1_1 n1_a_duplex__1_2_2_3->n1_a_duplex__1_2_2_3_1 
( (FRAG (NP;{ROBOT_CALLER} (NP-GEN;{GOOGLE} (NPR Google;{Google})
                                            (GENM <apos>s))
                           (ADJP (ADJ robot;{robot}))
                           (N caller;{caller}))
        (PP (P-ROLE in;{in})
            (NP (NUM first;{first})
                (ADJP (ADJ public;{public}))
                (N trial;{trial}))))
  (ID 1_a_duplex))