38_a_lob_a01
He was at Chequers last week-end.
arc(r_0038_0002__was, r_0038_0001__He, arg0).
arc(r_0038_0002__was, r_0038_0004__Chequers, r_0038_0003__at_clr10).
arc(r_0038_0002__was, r_0038_0006__week__hyphen__end, nim13).
arc(r_0038_0006__week__hyphen__end, r_0038_0005__last, qual14).
fof(formula,axiom,
? [R_38_2_WAS,R_38_1_HE,R_38_6_WEEK_HYPHEN_END,R_38_5_LAST,R_38_4_CHEQUERS] :
( he(R_38_1_HE)
& last(R_38_5_LAST)
& chequers(R_38_4_CHEQUERS)
& was(R_38_2_WAS,R_38_1_HE)
& nim13(R_38_2_WAS,R_38_6_WEEK_HYPHEN_END)
& week_hyphen_end(R_38_6_WEEK_HYPHEN_END)
& qual14(R_38_6_WEEK_HYPHEN_END,R_38_5_LAST)
& at_clr10(R_38_2_WAS,R_38_4_CHEQUERS) ) ).
( (IP-MAT (NP-SBJ;{MACMILLAN} (PRO He;{he}))
(BED;_Ipr_ was;{be[at]})
(PP-CLR (P-ROLE at;{at})
(NP (NPR Chequers;{Chequers})))
(NP-NIM (ADVP (ADV last;{last}))
(N week_<hyphen>_end;{week_end}))
(PUNC .))
(ID 38_a_lob_a01))