arc(r_0019_0003___apos_m, r_0019_0002__I, arg0).
arc(r_0019_0003___apos_m, r_0019_0008__service, prd).
arc(r_0019_0007__booking, r_0019_0008__service, arg0).
arc(r_0019_0008__service, r_0019_0004__Google_r_0019_0005___apos_s, gen).
arc(r_0019_0008__service, r_0019_0006__automated, attrib17).
arc(r_0019_0012___apos_ll, r_0019_0010__so, nim29).
arc(r_0019_0012___apos_ll, r_0019_0013__record, scope).
arc(r_0019_0013__record, r_0019_0011__I, arg0).
arc(r_0019_0013__record, r_0019_0014__the_r_0019_0015__call, arg1).
arc(z_000_19_a_duplex_4, r_0019_0003___apos_m, conj1).
arc(z_000_19_a_duplex_4, r_0019_0012___apos_ll, conj2).

fof(formula,axiom,
    ? [R_19_7_BOOKING,Z_19_A_DUPLEX_4,R_19_3__APOS_M,R_19_2_I,R_19_8_SERVICE,R_19_6_AUTOMATED,R_19_4_GOOGLE_APOS_S,R_19_12__APOS_LL_RECORD,R_19_11_I,R_19_14_THE_CALL,R_19_10_SO] :
      ( i(R_19_2_I)
      & automated(R_19_6_AUTOMATED)
      & google_apos_s(R_19_4_GOOGLE_APOS_S)
      & i(R_19_11_I)
      & the_call(R_19_14_THE_CALL)
      & so(R_19_10_SO)
      & booking(R_19_7_BOOKING,R_19_8_SERVICE)
      & service(R_19_8_SERVICE)
      & attrib17(R_19_8_SERVICE,R_19_6_AUTOMATED)
      & gen(R_19_8_SERVICE,R_19_4_GOOGLE_APOS_S)
      & z_19_a_duplex_4(Z_19_A_DUPLEX_4)
      & conj1(Z_19_A_DUPLEX_4,R_19_3__APOS_M)
      & _apos_m(R_19_3__APOS_M,R_19_2_I,R_19_8_SERVICE)
      & conj2(Z_19_A_DUPLEX_4,R_19_12__APOS_LL_RECORD)
      & _apos_ll_record(R_19_12__APOS_LL_RECORD,R_19_11_I,R_19_14_THE_CALL)
      & nim29(R_19_12__APOS_LL_RECORD,R_19_10_SO) ) ).

( (IP-MAT (PULQ <ldquo>)
          (ILYR (ILYR (NP-SBJ;{ROBOT_VOICE} (PRO I;{I}))
                      (BEP;_Ln_ <apos>m;{be})
                      (NP-PRD;{ROBOT_CALLER} (NP-GEN;{GOOGLE} (NPR Google;{Google})
                                                              (GENM <apos>s))
                                             (ADJP (ADJ automated;{automated}))
                                             (IP-PPL (VAG;_I_ booking;{book}))
                                             (N service;{service})))
                (PUNC ,)
                (CONJP (ILYR (ADVP-NIM (ADV so;{so}))
                             (NP-SBJ;{ROBOT_VOICE} (PRO I;{I}))
                             (MD;_cat_Vi_ <apos>ll;{will})
                             (IP-INF-CAT (VB;_Tn_ record;{record})
                                         (NP-OB1 (D the;{the})
                                                 (N call;{call}))))))
          (PUNC ...)
          (PURQ <rdquo>))
  (ID 19_a_duplex))