10_a_nyt20000410
Hall flies to Amman, Jordan, on Friday, where he'll spend the night before driving to Iraq.
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_10_2_FLIES,R_10_9_FRIDAY,R_10_17_BEFORE,R_10_18_DRIVING,R_10_20_IRAQ,R_10_13__APOS_LL_SPEND,R_10_1_HALL,R_10_15_THE_NIGHT,Z_10_A_NYT20000410_15,R_10_4_AMMAN,R_10_6_JORDAN] :
( friday(R_10_9_FRIDAY)
& iraq(R_10_20_IRAQ)
& hall(R_10_1_HALL)
& the_night(R_10_15_THE_NIGHT)
& amman(R_10_4_AMMAN)
& jordan(R_10_6_JORDAN)
& flies(R_10_2_FLIES,R_10_1_HALL)
& to_clr10(R_10_2_FLIES,R_10_4_AMMAN)
& on_nim26(R_10_2_FLIES,R_10_9_FRIDAY)
& before(R_10_17_BEFORE)
& conj1(R_10_17_BEFORE,R_10_18_DRIVING)
& driving(R_10_18_DRIVING,R_10_1_HALL)
& to_clr57(R_10_18_DRIVING,R_10_20_IRAQ)
& conj2(R_10_17_BEFORE,R_10_13__APOS_LL_SPEND)
& _apos_ll_spend(R_10_13__APOS_LL_SPEND,R_10_1_HALL,R_10_15_THE_NIGHT)
& nim32(R_10_13__APOS_LL_SPEND,R_10_4_AMMAN)
& z_10_a_nyt20000410_15(Z_10_A_NYT20000410_15,R_10_4_AMMAN,R_10_6_JORDAN) ) ).
( (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))