44_a_lob_n01
They were nearing Modena.
( (IP-MAT (NP-SBJ;{ALASTAIR+GEOFFREY} (PRO They;{they}))
(BED;_cat_Vg_ were;{be})
(IP-PPL-CAT (VAG;_Tn_ nearing;{near})
(NP-OB1 (NPR Modena;{Modena})))
(PUNC .))
(ID 44_a_lob_n01))
arc(r_0044_0002__were,r_0044_0003__nearing,scope).
arc(r_0044_0003__nearing,r_0044_0001__They,arg0).
arc(r_0044_0003__nearing,r_0044_0004__Modena,arg1).
fof(formula,axiom,
? [R_0044_0001__THEY,R_0044_0004__MODENA,R_0044_0002__WERE_R_0044_0003__NEARING] :
( r_0044_0001__They(R_0044_0001__THEY)
& r_0044_0004__Modena(R_0044_0004__MODENA)
& r_0044_0002__were_r_0044_0003__nearing(R_0044_0002__WERE_R_0044_0003__NEARING)
& has_arg1(R_0044_0002__WERE_R_0044_0003__NEARING,R_0044_0004__MODENA)
& has_arg0(R_0044_0002__WERE_R_0044_0003__NEARING,R_0044_0001__THEY) ) ).