( (IP-MAT (NP-SBJ;{HALL} (NPR Hall;{Hall}))
          (VBP;_Ipr_ flies;{fly[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (NPR Amman;{Amman})
                      (PUNC ,)
                      (PRN (NP (NPR Jordan;{Jordan})))
                      (IP-REL *ICH*-143)))
          (PUNC ,)
          (PP-NIM (P-ROLE on;{on})
                  (NP (NPR Friday;{Friday})))
          (PUNC ,)
          (IP-REL-EPD-143 (ADVP-NIM (RADV where;{where}))
                          (NP-SBJ;{HALL} (PRO he;{he}))
                          (MD;_cat_Vi_ <apos>ll;{will})
                          (IP-INF-CAT (VB;_Tn_ spend;{spend})
                                      (NP-OB1 (D the;{the})
                                              (N night;{night})))
                          (PP-SCON (P-CONN before;{before})
                                   (IP-PPL2 (VAG;_Ipr_ driving;{drive[to]})
                                            (PP-CLR (P-ROLE to;{to})
                                                    (NP;{IRAQ} (NPR Iraq;{Iraq}))))))
          (PUNC .))
  (ID 10_a_nyt20000410))

arc(r_0010_0002__flies_r_0010_0003__to,r_0010_0001__Hall,arg0).
arc(r_0010_0002__flies_r_0010_0003__to,r_0010_0004__Amman,arg1).
arc(r_0010_0002__flies_r_0010_0003__to,r_0010_0009__Friday,r_0010_0008__on__nim).
arc(r_0010_0013___apos_ll,r_0010_0004__Amman,nim).
arc(r_0010_0013___apos_ll,r_0010_0014__spend,scope).
arc(r_0010_0014__spend,r_0010_0001__Hall,arg0).
arc(r_0010_0014__spend,r_0010_0015__the_r_0010_0016__night,arg1).
arc(r_0010_0017__before,r_0010_0013___apos_ll,scope).
arc(r_0010_0017__before,r_0010_0018__driving_r_0010_0019__to,restriction).
arc(r_0010_0018__driving_r_0010_0019__to,r_0010_0001__Hall,arg0).
arc(r_0010_0018__driving_r_0010_0019__to,r_0010_0020__Iraq,arg1).
arc(z_0010_5001,r_0010_0004__Amman,arg0).
arc(z_0010_5001,r_0010_0006__Jordan,prd).

fof(formula,axiom,
    ? [R_0010_0001__HALL,R_0010_0004__AMMAN,R_0010_0009__FRIDAY,R_0010_0002__FLIES_R_0010_0003__TO,R_0010_0015__THE_R_0010_0016__NIGHT,R_0010_0013___APOS_LL_R_0010_0014__SPEND,R_0010_0020__IRAQ,R_0010_0018__DRIVING_R_0010_0019__TO,R_0010_0017__BEFORE,R_0010_0006__JORDAN,Z_0010_5001] :
      ( r_0010_0001__Hall(R_0010_0001__HALL)
      & r_0010_0004__Amman(R_0010_0004__AMMAN)
      & r_0010_0006__Jordan(R_0010_0006__JORDAN)
      & r_0010_0009__Friday(R_0010_0009__FRIDAY)
      & r_0010_0015__the_r_0010_0016__night(R_0010_0015__THE_R_0010_0016__NIGHT)
      & r_0010_0020__Iraq(R_0010_0020__IRAQ)
      & z_0010_5001(Z_0010_5001)
      & has_prd(Z_0010_5001,R_0010_0006__JORDAN)
      & has_arg0(Z_0010_5001,R_0010_0004__AMMAN)
      & r_0010_0017__before(R_0010_0017__BEFORE)
      & has_conj1(R_0010_0017__BEFORE,R_0010_0018__DRIVING_R_0010_0019__TO)
      & r_0010_0018__driving_r_0010_0019__to(R_0010_0018__DRIVING_R_0010_0019__TO)
      & has_arg1(R_0010_0018__DRIVING_R_0010_0019__TO,R_0010_0020__IRAQ)
      & has_arg0(R_0010_0018__DRIVING_R_0010_0019__TO,R_0010_0001__HALL)
      & has_conj2(R_0010_0017__BEFORE,R_0010_0013___APOS_LL_R_0010_0014__SPEND)
      & r_0010_0013___apos_ll_r_0010_0014__spend(R_0010_0013___APOS_LL_R_0010_0014__SPEND)
      & has_arg1(R_0010_0013___APOS_LL_R_0010_0014__SPEND,R_0010_0015__THE_R_0010_0016__NIGHT)
      & has_arg0(R_0010_0013___APOS_LL_R_0010_0014__SPEND,R_0010_0001__HALL)
      & has_nim(R_0010_0013___APOS_LL_R_0010_0014__SPEND,R_0010_0004__AMMAN)
      & r_0010_0002__flies_r_0010_0003__to(R_0010_0002__FLIES_R_0010_0003__TO)
      & has_r_0010_0008__on__nim(R_0010_0002__FLIES_R_0010_0003__TO,R_0010_0009__FRIDAY)
      & has_arg1(R_0010_0002__FLIES_R_0010_0003__TO,R_0010_0004__AMMAN)
      & has_arg0(R_0010_0002__FLIES_R_0010_0003__TO,R_0010_0001__HALL) ) ).