arc(utterance_43_a_duplex_4, r_0043_0002__If, part1).
arc(r_0043_0002__If, r_0043_0009__n_apos_t, restriction).
arc(r_0043_0002__If, r_0043_0016__can, scope).
arc(r_0043_0008__does_r_0043_0010__want, r_0043_0004__some_r_0043_0005__reason, r_0043_0003__for_nim13).
arc(r_0043_0008__does_r_0043_0010__want, r_0043_0006__the_r_0043_0007__business, arg0).
arc(r_0043_0008__does_r_0043_0010__want, r_0043_0011__to_r_0043_0012__receive, arg1).
arc(r_0043_0009__n_apos_t, r_0043_0008__does_r_0043_0010__want, keep_scope).
arc(r_0043_0011__to_r_0043_0012__receive, r_0043_0006__the_r_0043_0007__business, arg0).
arc(r_0043_0011__to_r_0043_0012__receive, r_0043_0013__those_r_0043_0014__appointments, arg1).
arc(r_0043_0016__can, r_0043_0017__bow_r_0043_0018__out, scope).
arc(r_0043_0017__bow_r_0043_0018__out, r_0043_0006__the_r_0043_0007__business, arg0).
arc(r_0043_0021__explained, utterance_43_a_duplex_4, arg1).
arc(r_0043_0021__explained, r_0043_0022__Scott_r_0043_0023__Huffman, arg0).
arc(r_0043_0025__head, r_0043_0027__engineering, r_0043_0026__of).
arc(r_0043_0027__engineering, r_0043_0029__Google_r_0043_0030__Assistant, r_0043_0028__for).
arc(z_000_43_a_duplex_62, r_0043_0022__Scott_r_0043_0023__Huffman, arg0).
arc(z_000_43_a_duplex_62, r_0043_0025__head, prd).

fof(formula,axiom,
    ? [UTTERANCE_43_A_DUPLEX_4,R_0043_0022__SCOTT_R_0043_0023__HUFFMAN,R_0043_0021__EXPLAINED,R_0043_0029__GOOGLE_R_0043_0030__ASSISTANT,R_0043_0027__ENGINEERING,R_0043_0025__HEAD,Z_000_43_A_DUPLEX_62] :
      ( r_0043_0022__Scott_r_0043_0023__Huffman(R_0043_0022__SCOTT_R_0043_0023__HUFFMAN)
      & r_0043_0029__Google_r_0043_0030__Assistant(R_0043_0029__GOOGLE_R_0043_0030__ASSISTANT)
      & z_000_43_a_duplex_62(Z_000_43_A_DUPLEX_62)
      & has_prd(Z_000_43_A_DUPLEX_62,R_0043_0025__HEAD)
      & r_0043_0025__head(R_0043_0025__HEAD)
      & has_r_0043_0026__of(R_0043_0025__HEAD,R_0043_0027__ENGINEERING)
      & r_0043_0027__engineering(R_0043_0027__ENGINEERING)
      & has_r_0043_0028__for(R_0043_0027__ENGINEERING,R_0043_0029__GOOGLE_R_0043_0030__ASSISTANT)
      & has_arg0(Z_000_43_A_DUPLEX_62,R_0043_0022__SCOTT_R_0043_0023__HUFFMAN)
      & r_0043_0021__explained(R_0043_0021__EXPLAINED)
      & has_arg0(R_0043_0021__EXPLAINED,R_0043_0022__SCOTT_R_0043_0023__HUFFMAN)
      & has_arg1(R_0043_0021__EXPLAINED,UTTERANCE_43_A_DUPLEX_4)
      & utterance_43_a_duplex_4(UTTERANCE_43_A_DUPLEX_4)
      & ! [R_0043_0009__N_APOS_T] :
          ( ~ ? [R_0043_0004__SOME_R_0043_0005__REASON,R_0043_0006__THE_R_0043_0007__BUSINESS,R_0043_0013__THOSE_R_0043_0014__APPOINTMENTS,R_0043_0011__TO_R_0043_0012__RECEIVE,R_0043_0008__DOES_R_0043_0010__WANT] :
                ( r_0043_0004__some_r_0043_0005__reason(R_0043_0004__SOME_R_0043_0005__REASON)
                & r_0043_0006__the_r_0043_0007__business(R_0043_0006__THE_R_0043_0007__BUSINESS)
                & r_0043_0013__those_r_0043_0014__appointments(R_0043_0013__THOSE_R_0043_0014__APPOINTMENTS)
                & r_0043_0008__does_r_0043_0010__want(R_0043_0008__DOES_R_0043_0010__WANT)
                & has_arg1(R_0043_0008__DOES_R_0043_0010__WANT,R_0043_0011__TO_R_0043_0012__RECEIVE)
                & r_0043_0011__to_r_0043_0012__receive(R_0043_0011__TO_R_0043_0012__RECEIVE)
                & has_arg1(R_0043_0011__TO_R_0043_0012__RECEIVE,R_0043_0013__THOSE_R_0043_0014__APPOINTMENTS)
                & has_arg0(R_0043_0011__TO_R_0043_0012__RECEIVE,R_0043_0006__THE_R_0043_0007__BUSINESS)
                & has_arg0(R_0043_0008__DOES_R_0043_0010__WANT,R_0043_0006__THE_R_0043_0007__BUSINESS)
                & has_r_0043_0003__for_nim13(R_0043_0008__DOES_R_0043_0010__WANT,R_0043_0004__SOME_R_0043_0005__REASON) )
         => ? [R_0043_0006__THE_R_0043_0007__BUSINESS,R_0043_0016__CAN_R_0043_0017__BOW_R_0043_0018__OUT] :
              ( r_0043_0006__the_r_0043_0007__business(R_0043_0006__THE_R_0043_0007__BUSINESS)
              & r_0043_0016__can_r_0043_0017__bow_r_0043_0018__out(R_0043_0016__CAN_R_0043_0017__BOW_R_0043_0018__OUT)
              & has_arg0(R_0043_0016__CAN_R_0043_0017__BOW_R_0043_0018__OUT,R_0043_0006__THE_R_0043_0007__BUSINESS) ) ) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (PP-SCON (P-CONN If;{if})
                                          (IP-ADV (PP-NIM (P-ROLE for;{for})
                                                          (NP (D some;{some})
                                                              (N reason;{reason})))
                                                  (NP-SBJ;{BUSINESS} (D the;{the})
                                                                     (N business;{business}))
                                                  (DOP does;{do})
                                                  (NEG;_clitic_ n<apos>t;{not})
                                                  (VB;_Tt_ want;{want})
                                                  (IP-INF-OB1 (TO to;{to})
                                                              (VB;_Tn_ receive;{receive})
                                                              (NP-OB1 (D those;{those})
                                                                      (NS appointments;{appointment})))))
                                 (NP-SBJ;{BUSINESS} (PRO they;{they}))
                                 (MD;_cat_Vi_ can;{can})
                                 (IP-INF-CAT (VB;_phr_Vp_ bow;{bow[out]})
                                             (RP out;{out}))))
          (PUNC ,)
          (PURQ <rdquo>)
          (VBD;_Tr_ explained;{explain})
          (NP-SBJ;{SCOTT} (NPR Scott;{Scott})
                          (NPR Huffman;{Huffman})
                          (PUNC ,)
                          (IP-PPL (NP-PRD (N head;{head})
                                          (PP (P-ROLE of;{of})
                                              (NP (N engineering;{engineering})
                                                  (PP (P-ROLE for;{for})
                                                      (NP (NPR Google;{Google})
                                                          (NPR Assistant;{Assistant}))))))))
          (PUNC .))
  (ID 43_a_duplex))