Context                Previous, Next                Top


162_a_loosechange
She was convinced of it.

n162_a_loosechange n162_a_loosechange__1_1_1_1 She n162_a_loosechange__1_2_1 was n162_a_loosechange__1_3_1_1 * n162_a_loosechange__1_3_2_1 convinced n162_a_loosechange__1_3_3_1_1 of n162_a_loosechange__1_3_3_2_1_1 it n162_a_loosechange__1_4_1 . n162_a_loosechange__1 IP-MAT n162_a_loosechange__1_1 NP-SBJ n162_a_loosechange__1->n162_a_loosechange__1_1 n162_a_loosechange__1_2 BED;_cat_VePASS_ n162_a_loosechange__1->n162_a_loosechange__1_2 n162_a_loosechange__1_3 IP-PPL-CAT n162_a_loosechange__1->n162_a_loosechange__1_3 n162_a_loosechange__1_4 PUNC n162_a_loosechange__1->n162_a_loosechange__1_4 n162_a_loosechange__1_1_1 PRO n162_a_loosechange__1_1->n162_a_loosechange__1_1_1 n162_a_loosechange__1_1_1->n162_a_loosechange__1_1_1_1 n162_a_loosechange__1_2->n162_a_loosechange__1_2_1 n162_a_loosechange__1_3_1 NP-LGS n162_a_loosechange__1_3->n162_a_loosechange__1_3_1 n162_a_loosechange__1_3_2 VVN;__ n162_a_loosechange__1_3->n162_a_loosechange__1_3_2 n162_a_loosechange__1_3_3 PP-NIM n162_a_loosechange__1_3->n162_a_loosechange__1_3_3 n162_a_loosechange__1_3_1->n162_a_loosechange__1_3_1_1 n162_a_loosechange__1_3_2->n162_a_loosechange__1_3_2_1 n162_a_loosechange__1_3_3_1 P-ROLE n162_a_loosechange__1_3_3->n162_a_loosechange__1_3_3_1 n162_a_loosechange__1_3_3_2 NP n162_a_loosechange__1_3_3->n162_a_loosechange__1_3_3_2 n162_a_loosechange__1_3_3_1->n162_a_loosechange__1_3_3_1_1 n162_a_loosechange__1_3_3_2_1 PRO n162_a_loosechange__1_3_3_2->n162_a_loosechange__1_3_3_2_1 n162_a_loosechange__1_3_3_2_1->n162_a_loosechange__1_3_3_2_1_1 n162_a_loosechange__1_4->n162_a_loosechange__1_4_1 
( (IP-MAT (NP-SBJ;{GRANDMA} (PRO She;{she}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ convinced;{convince})
                      (PP-NIM (P-ROLE of;{of})
                              (NP (PRO it;{it}))))
          (PUNC .))
  (ID 162_a_loosechange))


%3 r_0162_0003__convinced convinced z_0162_5002___star_ * r_0162_0003__convinced->z_0162_5002___star_ [arg0] r_0162_0005__it it r_0162_0003__convinced->r_0162_0005__it of [nim] r_0162_0001__She She r_0162_0003__convinced->r_0162_0001__She [arg1] r_0162_0002__was was r_0162_0002__was->r_0162_0003__convinced [scope] 
arc(r_0162_0002__was,r_0162_0003__convinced,scope).
arc(r_0162_0003__convinced,r_0162_0001__She,arg1).
arc(r_0162_0003__convinced,r_0162_0005__it,r_0162_0004__of__nim).
arc(r_0162_0003__convinced,z_0162_5002___star_,arg0).


%3 r_0162_0002__was_r_0162_0003__convinced was convinced r_0162_0001__She She r_0162_0002__was_r_0162_0003__convinced->r_0162_0001__She [arg1] r_0162_0005__it it r_0162_0002__was_r_0162_0003__convinced->r_0162_0005__it of [nim] z_0162_5002___star_ * r_0162_0002__was_r_0162_0003__convinced->z_0162_5002___star_ [arg0] 
fof(formula,axiom,
    ? [R_0162_0001__SHE,R_0162_0005__IT,Z_0162_5002___STAR_,R_0162_0002__WAS_R_0162_0003__CONVINCED] :
      ( r_0162_0001__She(R_0162_0001__SHE)
      & r_0162_0005__it(R_0162_0005__IT)
      & z_0162_5002___star_(Z_0162_5002___STAR_)
      & r_0162_0002__was_r_0162_0003__convinced(R_0162_0002__WAS_R_0162_0003__CONVINCED)
      & has_arg0(R_0162_0002__WAS_R_0162_0003__CONVINCED,Z_0162_5002___STAR_)
      & has_r_0162_0004__of__nim(R_0162_0002__WAS_R_0162_0003__CONVINCED,R_0162_0005__IT)
      & has_arg1(R_0162_0002__WAS_R_0162_0003__CONVINCED,R_0162_0001__SHE) ) ).