1_a_nyt20000410
Iraq clears visit by Ohio official
( (IP-MAT (NP-SBJ;{IRAQ} (NPR Iraq;{Iraq}))
(VBP;_Tn_ clears;{clear})
(NP-OB1 (N visit;{visit})
(PP (P-ROLE by;{by})
(NP;{HALL} (NPR Ohio;{Ohio})
(N official;{official})))))
(ID 1_a_nyt20000410))
arc(r_0001_0002__clears,r_0001_0001__Iraq,arg0).
arc(r_0001_0002__clears,r_0001_0003__visit,arg1).
arc(r_0001_0003__visit,r_0001_0005__Ohio_r_0001_0006__official,r_0001_0004__by).
fof(formula,axiom,
? [R_0001_0001__IRAQ,R_0001_0005__OHIO_R_0001_0006__OFFICIAL,R_0001_0003__VISIT,R_0001_0002__CLEARS] :
( r_0001_0001__Iraq(R_0001_0001__IRAQ)
& r_0001_0005__Ohio_r_0001_0006__official(R_0001_0005__OHIO_R_0001_0006__OFFICIAL)
& r_0001_0002__clears(R_0001_0002__CLEARS)
& has_arg1(R_0001_0002__CLEARS,R_0001_0003__VISIT)
& r_0001_0003__visit(R_0001_0003__VISIT)
& has_r_0001_0004__by(R_0001_0003__VISIT,R_0001_0005__OHIO_R_0001_0006__OFFICIAL)
& has_arg0(R_0001_0002__CLEARS,R_0001_0001__IRAQ) ) ).