arc(utterance_18_a_duplex_4, z_000_18_a_duplex_18, part1).
arc(r_0018_0002__Hi_r_0018_0005___apos_m, r_0018_0006__calling, scope).
arc(r_0018_0006__calling, r_0018_0004__I, arg0).
arc(r_0018_0007__to_r_0018_0008__make, r_0018_0004__I, arg0).
arc(r_0018_0007__to_r_0018_0008__make, r_0018_0009__a_r_0018_0010__reservation, arg1).
arc(r_0018_0019__begins, utterance_18_a_duplex_4, arg1).
arc(r_0018_0019__begins, r_0018_0013__the_r_0018_0014__voice, arg0).
arc(z_000_18_a_duplex_18, r_0018_0002__Hi_r_0018_0005___apos_m, scope).
arc(z_000_18_a_duplex_18, r_0018_0007__to_r_0018_0008__make, restriction).
arc(z_000_18_a_duplex_40, r_0018_0013__the_r_0018_0014__voice, arg0).
arc(z_000_18_a_duplex_40, r_0018_0016__a_r_0018_0017__woman, prd).

fof(formula,axiom,
    ? [R_0018_0004__I,R_0018_0002__HI_R_0018_0005___APOS_M_R_0018_0006__CALLING,R_0018_0009__A_R_0018_0010__RESERVATION,R_0018_0007__TO_R_0018_0008__MAKE,Z_000_18_A_DUPLEX_18,UTTERANCE_18_A_DUPLEX_4,R_0018_0013__THE_R_0018_0014__VOICE,R_0018_0019__BEGINS,R_0018_0016__A_R_0018_0017__WOMAN,Z_000_18_A_DUPLEX_40] :
      ( r_0018_0004__I(R_0018_0004__I)
      & r_0018_0009__a_r_0018_0010__reservation(R_0018_0009__A_R_0018_0010__RESERVATION)
      & r_0018_0013__the_r_0018_0014__voice(R_0018_0013__THE_R_0018_0014__VOICE)
      & r_0018_0016__a_r_0018_0017__woman(R_0018_0016__A_R_0018_0017__WOMAN)
      & z_000_18_a_duplex_40(Z_000_18_A_DUPLEX_40)
      & has_prd(Z_000_18_A_DUPLEX_40,R_0018_0016__A_R_0018_0017__WOMAN)
      & has_arg0(Z_000_18_A_DUPLEX_40,R_0018_0013__THE_R_0018_0014__VOICE)
      & r_0018_0019__begins(R_0018_0019__BEGINS)
      & has_arg0(R_0018_0019__BEGINS,R_0018_0013__THE_R_0018_0014__VOICE)
      & has_arg1(R_0018_0019__BEGINS,UTTERANCE_18_A_DUPLEX_4)
      & utterance_18_a_duplex_4(UTTERANCE_18_A_DUPLEX_4)
      & has_part1(UTTERANCE_18_A_DUPLEX_4,Z_000_18_A_DUPLEX_18)
      & z_000_18_a_duplex_18(Z_000_18_A_DUPLEX_18)
      & has_conj1(Z_000_18_A_DUPLEX_18,R_0018_0007__TO_R_0018_0008__MAKE)
      & r_0018_0007__to_r_0018_0008__make(R_0018_0007__TO_R_0018_0008__MAKE)
      & has_arg1(R_0018_0007__TO_R_0018_0008__MAKE,R_0018_0009__A_R_0018_0010__RESERVATION)
      & has_arg0(R_0018_0007__TO_R_0018_0008__MAKE,R_0018_0004__I)
      & has_conj2(Z_000_18_A_DUPLEX_18,R_0018_0002__HI_R_0018_0005___APOS_M_R_0018_0006__CALLING)
      & r_0018_0002__Hi_r_0018_0005___apos_m_r_0018_0006__calling(R_0018_0002__HI_R_0018_0005___APOS_M_R_0018_0006__CALLING)
      & has_arg0(R_0018_0002__HI_R_0018_0005___APOS_M_R_0018_0006__CALLING,R_0018_0004__I) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (FRM Hi)
                                 (PUNC <hyphen>)
                                 (NP-SBJ (PRO I;{I}))
                                 (BEP;_cat_Vg_ <apos>m;{be})
                                 (IP-PPL-CAT (VAG;_I_ calling;{call}))
                                 (PP-SCON (IP-INF (TO to;{to})
                                                  (VB;_Tn_ make;{make})
                                                  (NP-OB1;{RESERVATION} (D a;{a})
                                                                        (N reservation;{reservation}))))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{ROBOT_VOICE} (D the;{the})
                                (N voice;{voice})
                                (PUNC ,)
                                (IP-PPL (NP-PRD (D a;{a})
                                                (N woman;{woman}))))
          (PUNC ,)
          (VBP;_Tr_ begins;{begin})
          (PUNC .))
  (ID 18_a_duplex))