11_a_lob_n02
He brought her to the party too.
arc(r_0011_0002__brought, r_0011_0001__He, arg0).
arc(r_0011_0002__brought, r_0011_0003__her, arg1).
arc(r_0011_0002__brought, r_0011_0005__the_r_0011_0006__party, r_0011_0004__to_nim13).
arc(r_0011_0002__brought, r_0011_0007__too, nim18).
fof(formula,axiom,
? [R_0011_0001__HE,R_0011_0003__HER,R_0011_0005__THE_R_0011_0006__PARTY,R_0011_0007__TOO,R_0011_0002__BROUGHT] :
( r_0011_0001__He(R_0011_0001__HE)
& r_0011_0003__her(R_0011_0003__HER)
& r_0011_0005__the_r_0011_0006__party(R_0011_0005__THE_R_0011_0006__PARTY)
& r_0011_0007__too(R_0011_0007__TOO)
& r_0011_0002__brought(R_0011_0002__BROUGHT)
& has_nim18(R_0011_0002__BROUGHT,R_0011_0007__TOO)
& has_r_0011_0004__to_nim13(R_0011_0002__BROUGHT,R_0011_0005__THE_R_0011_0006__PARTY)
& has_arg1(R_0011_0002__BROUGHT,R_0011_0003__HER)
& has_arg0(R_0011_0002__BROUGHT,R_0011_0001__HE) ) ).
( (IP-MAT (NP-SBJ;{JACK} (PRO He;{he}))
(VBD;_Tn_ brought;{bring})
(NP-OB1;{BLANCHE} (PRO her;{her}))
(PP-NIM (P-ROLE to;{to})
(NP (D the;{the})
(N party;{party})))
(ADVP-NIM (ADV too;{too}))
(PUNC .))
(ID 11_a_lob_n02))