arc(r_0010_0002__flies, r_0010_0001__Hall, arg0).
arc(r_0010_0002__flies, r_0010_0004__Amman, r_0010_0003__to_clr10).
arc(r_0010_0002__flies, r_0010_0009__Friday, r_0010_0008__on_nim26).
arc(r_0010_0013___apos_ll, r_0010_0004__Amman, nim32).
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, restriction).
arc(r_0010_0018__driving, r_0010_0001__Hall, arg0).
arc(r_0010_0018__driving, r_0010_0020__Iraq, r_0010_0019__to_clr57).
arc(z_000_10_a_nyt20000410_15, r_0010_0004__Amman, arg0).
arc(z_000_10_a_nyt20000410_15, 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_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_0017__BEFORE,R_0010_0006__JORDAN,Z_000_10_A_NYT20000410_15] :
      ( 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_000_10_a_nyt20000410_15(Z_000_10_A_NYT20000410_15)
      & has_prd(Z_000_10_A_NYT20000410_15,R_0010_0006__JORDAN)
      & has_arg0(Z_000_10_A_NYT20000410_15,R_0010_0004__AMMAN)
      & r_0010_0017__before(R_0010_0017__BEFORE)
      & has_conj1(R_0010_0017__BEFORE,R_0010_0018__DRIVING)
      & r_0010_0018__driving(R_0010_0018__DRIVING)
      & has_r_0010_0019__to_clr57(R_0010_0018__DRIVING,R_0010_0020__IRAQ)
      & has_arg0(R_0010_0018__DRIVING,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_nim32(R_0010_0013___APOS_LL_R_0010_0014__SPEND,R_0010_0004__AMMAN)
      & r_0010_0002__flies(R_0010_0002__FLIES)
      & has_r_0010_0008__on_nim26(R_0010_0002__FLIES,R_0010_0009__FRIDAY)
      & has_r_0010_0003__to_clr10(R_0010_0002__FLIES,R_0010_0004__AMMAN)
      & has_arg0(R_0010_0002__FLIES,R_0010_0001__HALL) ) ).

( (IP-MAT (NP-SBJ;{HALL} (NPR Hall;{Hall}))
          (VBP;_Ipr_ flies;{fly[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (NPR Amman;{Amman})
                      (PUNC ,)
                      (IP-PPL (NP-PRD (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))