( (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 ,)
                          (PRN (NP (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))

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__nim).
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_0012__receive,arg1).
arc(r_0043_0009__n_apos_t,r_0043_0008__does_r_0043_0010__want,keep_scope).
arc(r_0043_0012__receive,r_0043_0006__the_r_0043_0007__business,arg0).
arc(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,r_0043_0022__Scott_r_0043_0023__Huffman,arg0).
arc(r_0043_0021__explained,z_0043_5002__utterance,arg1).
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_0043_5002__utterance,r_0043_0002__If,part1).
arc(z_0043_5018,r_0043_0022__Scott_r_0043_0023__Huffman,arg0).
arc(z_0043_5018,r_0043_0025__head,prd).

fof(formula,axiom,
    ? [R_0043_0022__SCOTT_R_0043_0023__HUFFMAN,Z_0043_5002__UTTERANCE,R_0043_0021__EXPLAINED,R_0043_0029__GOOGLE_R_0043_0030__ASSISTANT,R_0043_0027__ENGINEERING,R_0043_0025__HEAD,Z_0043_5018] :
      ( 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_0043_5018(Z_0043_5018)
      & has_prd(Z_0043_5018,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_0043_5018,R_0043_0022__SCOTT_R_0043_0023__HUFFMAN)
      & r_0043_0021__explained(R_0043_0021__EXPLAINED)
      & has_arg1(R_0043_0021__EXPLAINED,Z_0043_5002__UTTERANCE)
      & z_0043_5002__utterance(Z_0043_5002__UTTERANCE)
      & ! [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_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_0012__RECEIVE)
                & r_0043_0012__receive(R_0043_0012__RECEIVE)
                & has_arg1(R_0043_0012__RECEIVE,R_0043_0013__THOSE_R_0043_0014__APPOINTMENTS)
                & has_arg0(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__nim(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) ) )
      & has_arg0(R_0043_0021__EXPLAINED,R_0043_0022__SCOTT_R_0043_0023__HUFFMAN) ) ).