26_a_joyce_1914
He was passing by the house.”
( (IP-MAT (NP-SBJ;{COTTER} (PRO He;{he}))
(BED;_cat_Vg_ was;{be})
(IP-PPL-CAT (VAG;_Ipr_ passing;{pass[by]})
(PP-CLR (P-ROLE by;{by})
(NP (D the;{the})
(N house;{house}))))
(PUNC .)
(PURQ <rdquo>))
(ID 26_a_joyce_1914))
arc(r_0026_0002__was,r_0026_0003__passing_r_0026_0004__by,scope).
arc(r_0026_0003__passing_r_0026_0004__by,r_0026_0001__He,arg0).
arc(r_0026_0003__passing_r_0026_0004__by,r_0026_0005__the_r_0026_0006__house,arg1).
fof(formula,axiom,
? [R_0026_0001__HE,R_0026_0005__THE_R_0026_0006__HOUSE,R_0026_0002__WAS_R_0026_0003__PASSING_R_0026_0004__BY] :
( r_0026_0001__He(R_0026_0001__HE)
& r_0026_0005__the_r_0026_0006__house(R_0026_0005__THE_R_0026_0006__HOUSE)
& r_0026_0002__was_r_0026_0003__passing_r_0026_0004__by(R_0026_0002__WAS_R_0026_0003__PASSING_R_0026_0004__BY)
& has_arg1(R_0026_0002__WAS_R_0026_0003__PASSING_R_0026_0004__BY,R_0026_0005__THE_R_0026_0006__HOUSE)
& has_arg0(R_0026_0002__WAS_R_0026_0003__PASSING_R_0026_0004__BY,R_0026_0001__HE) ) ).