11_a_lob_n02
He brought her to the party too.

n11_a_lob_n02 n11_a_lob_n02__1_1_1_1 He n11_a_lob_n02__1_2_1 brought n11_a_lob_n02__1_3_1_1 her n11_a_lob_n02__1_4_1_1 to n11_a_lob_n02__1_4_2_1_1 the n11_a_lob_n02__1_4_2_2_1 party n11_a_lob_n02__1_5_1_1 too n11_a_lob_n02__1_6_1 . n11_a_lob_n02__1 IP-MAT n11_a_lob_n02__1_1 NP-SBJ n11_a_lob_n02__1->n11_a_lob_n02__1_1 n11_a_lob_n02__1_2 VBD;_Tn_ n11_a_lob_n02__1->n11_a_lob_n02__1_2 n11_a_lob_n02__1_3 NP-OB1 n11_a_lob_n02__1->n11_a_lob_n02__1_3 n11_a_lob_n02__1_4 PP-NIM n11_a_lob_n02__1->n11_a_lob_n02__1_4 n11_a_lob_n02__1_5 ADVP-NIM n11_a_lob_n02__1->n11_a_lob_n02__1_5 n11_a_lob_n02__1_6 PUNC n11_a_lob_n02__1->n11_a_lob_n02__1_6 n11_a_lob_n02__1_1_1 PRO n11_a_lob_n02__1_1->n11_a_lob_n02__1_1_1 n11_a_lob_n02__1_1_1->n11_a_lob_n02__1_1_1_1 n11_a_lob_n02__1_2->n11_a_lob_n02__1_2_1 n11_a_lob_n02__1_3_1 PRO n11_a_lob_n02__1_3->n11_a_lob_n02__1_3_1 n11_a_lob_n02__1_3_1->n11_a_lob_n02__1_3_1_1 n11_a_lob_n02__1_4_1 P-ROLE n11_a_lob_n02__1_4->n11_a_lob_n02__1_4_1 n11_a_lob_n02__1_4_2 NP n11_a_lob_n02__1_4->n11_a_lob_n02__1_4_2 n11_a_lob_n02__1_4_1->n11_a_lob_n02__1_4_1_1 n11_a_lob_n02__1_4_2_1 D n11_a_lob_n02__1_4_2->n11_a_lob_n02__1_4_2_1 n11_a_lob_n02__1_4_2_2 N n11_a_lob_n02__1_4_2->n11_a_lob_n02__1_4_2_2 n11_a_lob_n02__1_4_2_1->n11_a_lob_n02__1_4_2_1_1 n11_a_lob_n02__1_4_2_2->n11_a_lob_n02__1_4_2_2_1 n11_a_lob_n02__1_5_1 ADV n11_a_lob_n02__1_5->n11_a_lob_n02__1_5_1 n11_a_lob_n02__1_5_1->n11_a_lob_n02__1_5_1_1 n11_a_lob_n02__1_6->n11_a_lob_n02__1_6_1
( (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))



%3 r_0011_0002__brought brought r_0011_0007__too too r_0011_0002__brought->r_0011_0007__too [nim] r_0011_0005__the_r_0011_0006__party the party r_0011_0002__brought->r_0011_0005__the_r_0011_0006__party to [nim] r_0011_0003__her her r_0011_0002__brought->r_0011_0003__her [arg1] r_0011_0001__He He r_0011_0002__brought->r_0011_0001__He [arg0]
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).



%3 r_0011_0002__brought brought r_0011_0001__He He r_0011_0002__brought->r_0011_0001__He [arg0] r_0011_0003__her her r_0011_0002__brought->r_0011_0003__her [arg1] r_0011_0005__the_r_0011_0006__party the party r_0011_0002__brought->r_0011_0005__the_r_0011_0006__party to [nim] r_0011_0007__too too 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) ) ).