11_a_lob_n02
He brought her to the party too.
( (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))
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__nim).
arc(r_0011_0002__brought,r_0011_0007__too,nim).
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_nim(R_0011_0002__BROUGHT,R_0011_0007__TOO)
& has_r_0011_0004__to__nim(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) ) ).