23_a_goodwill
I wanted to be there...

n23_a_goodwill n23_a_goodwill__1_1_1_1 I n23_a_goodwill__1_2_1 wanted n23_a_goodwill__1_3_1_1 to n23_a_goodwill__1_3_2_1 be n23_a_goodwill__1_3_3_1_1 there n23_a_goodwill__1_4_1 ... n23_a_goodwill__1 IP-MAT n23_a_goodwill__1_1 NP-SBJ n23_a_goodwill__1->n23_a_goodwill__1_1 n23_a_goodwill__1_2 VBD;_Tt_ n23_a_goodwill__1->n23_a_goodwill__1_2 n23_a_goodwill__1_3 IP-INF-OB1 n23_a_goodwill__1->n23_a_goodwill__1_3 n23_a_goodwill__1_4 PUNC n23_a_goodwill__1->n23_a_goodwill__1_4 n23_a_goodwill__1_1_1 PRO n23_a_goodwill__1_1->n23_a_goodwill__1_1_1 n23_a_goodwill__1_1_1->n23_a_goodwill__1_1_1_1 n23_a_goodwill__1_2->n23_a_goodwill__1_2_1 n23_a_goodwill__1_3_1 TO n23_a_goodwill__1_3->n23_a_goodwill__1_3_1 n23_a_goodwill__1_3_2 BE;_Ip_ n23_a_goodwill__1_3->n23_a_goodwill__1_3_2 n23_a_goodwill__1_3_3 ADVP-CLR n23_a_goodwill__1_3->n23_a_goodwill__1_3_3 n23_a_goodwill__1_3_1->n23_a_goodwill__1_3_1_1 n23_a_goodwill__1_3_2->n23_a_goodwill__1_3_2_1 n23_a_goodwill__1_3_3_1 ADV n23_a_goodwill__1_3_3->n23_a_goodwill__1_3_3_1 n23_a_goodwill__1_3_3_1->n23_a_goodwill__1_3_3_1_1 n23_a_goodwill__1_4->n23_a_goodwill__1_4_1
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;_Tt_ wanted;{want})
          (IP-INF-OB1 (TO to;{to})
                      (BE;_Ip_ be;{be})
                      (ADVP-CLR (ADV there;{there})))
          (PUNC ...))
  (ID 23_a_goodwill))



%3 r_0023_0004__be_r_0023_0005__there be there r_0023_0001__I I r_0023_0004__be_r_0023_0005__there->r_0023_0001__I [arg0] r_0023_0002__wanted wanted r_0023_0002__wanted->r_0023_0004__be_r_0023_0005__there [arg1] r_0023_0002__wanted->r_0023_0001__I [arg0]
arc(r_0023_0002__wanted,r_0023_0001__I,arg0).
arc(r_0023_0002__wanted,r_0023_0004__be_r_0023_0005__there,arg1).
arc(r_0023_0004__be_r_0023_0005__there,r_0023_0001__I,arg0).



%3 r_0023_0002__wanted wanted r_0023_0001__I I r_0023_0002__wanted->r_0023_0001__I [arg0] r_0023_0004__be_r_0023_0005__there be there r_0023_0002__wanted->r_0023_0004__be_r_0023_0005__there [arg1] r_0023_0004__be_r_0023_0005__there->r_0023_0001__I [arg0]
fof(formula,axiom,
    ? [R_0023_0001__I,R_0023_0004__BE_R_0023_0005__THERE,R_0023_0002__WANTED] :
      ( r_0023_0001__I(R_0023_0001__I)
      & r_0023_0002__wanted(R_0023_0002__WANTED)
      & has_arg1(R_0023_0002__WANTED,R_0023_0004__BE_R_0023_0005__THERE)
      & r_0023_0004__be_r_0023_0005__there(R_0023_0004__BE_R_0023_0005__THERE)
      & has_arg0(R_0023_0004__BE_R_0023_0005__THERE,R_0023_0001__I)
      & has_arg0(R_0023_0002__WANTED,R_0023_0001__I) ) ).