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,
    ? [Z_1_A_DUPLEX_1,R_1_4_CALLER,R_1_3_ROBOT,R_1_1_GOOGLE_APOS_S,R_1_6_FIRST_TRIAL,R_1_7_PUBLIC] :
      ( robot(R_1_3_ROBOT)
      & google_apos_s(R_1_1_GOOGLE_APOS_S)
      & public(R_1_7_PUBLIC)
      & z_1_a_duplex_1(Z_1_A_DUPLEX_1)
      & nim2(Z_1_A_DUPLEX_1,R_1_4_CALLER)
      & caller(R_1_4_CALLER)
      & attrib8(R_1_4_CALLER,R_1_3_ROBOT)
      & gen(R_1_4_CALLER,R_1_1_GOOGLE_APOS_S)
      & in_nim16(Z_1_A_DUPLEX_1,R_1_6_FIRST_TRIAL)
      & first_trial(R_1_6_FIRST_TRIAL)
      & attrib19(R_1_6_FIRST_TRIAL,R_1_7_PUBLIC) ) ).


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))