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

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

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