Context                Previous, Next                Top


162_a_loosechange
She was convinced of it.

%3 r_0162_0002__was was r_0162_0003__convinced convinced r_0162_0002__was->r_0162_0003__convinced [scope] r_0162_0001__She She r_0162_0003__convinced->r_0162_0001__She [arg1] z_000_162_a_loosechange_8 r_0162_0003__convinced->z_000_162_a_loosechange_8 [arg0] r_0162_0003__convinced->z_000_162_a_loosechange_8 of [nim] 
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, z_000_162_a_loosechange_8, arg0).
arc(r_0162_0003__convinced, z_000_162_a_loosechange_8, r_0162_0004__of_nim15).


%3 r_0162_0002__was_r_0162_0003__convinced was convinced z_000_162_a_loosechange_8 r_0162_0002__was_r_0162_0003__convinced->z_000_162_a_loosechange_8 of [nim] r_0162_0002__was_r_0162_0003__convinced->z_000_162_a_loosechange_8 [arg0] r_0162_0001__She She r_0162_0002__was_r_0162_0003__convinced->r_0162_0001__She [arg1] 
fof(formula,axiom,
    ? [R_162_2_WAS_CONVINCED,R_162_1_SHE,Z_162_A_LOOSECHANGE_8] :
      ( she(R_162_1_SHE)
      & was_convinced(R_162_2_WAS_CONVINCED,Z_162_A_LOOSECHANGE_8,R_162_1_SHE)
      & of_nim15(R_162_2_WAS_CONVINCED,Z_162_A_LOOSECHANGE_8) ) ).


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))