Context                Previous, Next                Top


60_a_loosechange
I wanted to be released from my obligation.

%3 r_0060_0002__wanted wanted r_0060_0001__I I r_0060_0002__wanted->r_0060_0001__I [arg0] r_0060_0003__to_r_0060_0004__be to be r_0060_0002__wanted->r_0060_0003__to_r_0060_0004__be [arg1] r_0060_0005__released released r_0060_0003__to_r_0060_0004__be->r_0060_0005__released [scope] r_0060_0005__released->r_0060_0001__I [arg1] r_0060_0008__obligation obligation r_0060_0005__released->r_0060_0008__obligation from [nim] z_000_60_a_loosechange_13 r_0060_0005__released->z_000_60_a_loosechange_13 [arg0] r_0060_0008__obligation->r_0060_0001__I [gen] 
arc(r_0060_0002__wanted, r_0060_0001__I, arg0).
arc(r_0060_0002__wanted, r_0060_0003__to_r_0060_0004__be, arg1).
arc(r_0060_0003__to_r_0060_0004__be, r_0060_0005__released, scope).
arc(r_0060_0005__released, r_0060_0001__I, arg1).
arc(r_0060_0005__released, r_0060_0008__obligation, r_0060_0006__from_nim20).
arc(r_0060_0005__released, z_000_60_a_loosechange_13, arg0).
arc(r_0060_0008__obligation, r_0060_0001__I, gen).


%3 r_0060_0008__obligation obligation r_0060_0001__I I r_0060_0008__obligation->r_0060_0001__I [gen] r_0060_0003__to_r_0060_0004__be_r_0060_0005__released to be released r_0060_0003__to_r_0060_0004__be_r_0060_0005__released->r_0060_0008__obligation from [nim] r_0060_0003__to_r_0060_0004__be_r_0060_0005__released->r_0060_0001__I [arg1] z_000_60_a_loosechange_13 r_0060_0003__to_r_0060_0004__be_r_0060_0005__released->z_000_60_a_loosechange_13 [arg0] r_0060_0002__wanted wanted r_0060_0002__wanted->r_0060_0001__I [arg0] r_0060_0002__wanted->r_0060_0003__to_r_0060_0004__be_r_0060_0005__released [arg1] 
fof(formula,axiom,
    ? [R_60_2_WANTED,R_60_3_TO_BE_RELEASED,Z_60_A_LOOSECHANGE_13,R_60_8_OBLIGATION,R_60_1_I] :
      ( i(R_60_1_I)
      & wanted(R_60_2_WANTED,R_60_1_I,R_60_3_TO_BE_RELEASED)
      & to_be_released(R_60_3_TO_BE_RELEASED,Z_60_A_LOOSECHANGE_13,R_60_1_I)
      & from_nim20(R_60_3_TO_BE_RELEASED,R_60_8_OBLIGATION)
      & obligation(R_60_8_OBLIGATION)
      & gen(R_60_8_OBLIGATION,R_60_1_I) ) ).


n60_a_loosechange n60_a_loosechange__1_1_1_1 I n60_a_loosechange__1_2_1 wanted n60_a_loosechange__1_3_1_1 to n60_a_loosechange__1_3_2_1 be n60_a_loosechange__1_3_3_1_1 * n60_a_loosechange__1_3_3_2_1 released n60_a_loosechange__1_3_3_3_1_1 from n60_a_loosechange__1_3_3_3_2_1_1_1 my n60_a_loosechange__1_3_3_3_2_2_1 obligation n60_a_loosechange__1_4_1 . n60_a_loosechange__1 IP-MAT n60_a_loosechange__1_1 NP-SBJ n60_a_loosechange__1->n60_a_loosechange__1_1 n60_a_loosechange__1_2 VBD;_Tt_ n60_a_loosechange__1->n60_a_loosechange__1_2 n60_a_loosechange__1_3 IP-INF-OB1 n60_a_loosechange__1->n60_a_loosechange__1_3 n60_a_loosechange__1_4 PUNC n60_a_loosechange__1->n60_a_loosechange__1_4 n60_a_loosechange__1_1_1 PRO n60_a_loosechange__1_1->n60_a_loosechange__1_1_1 n60_a_loosechange__1_1_1->n60_a_loosechange__1_1_1_1 n60_a_loosechange__1_2->n60_a_loosechange__1_2_1 n60_a_loosechange__1_3_1 TO n60_a_loosechange__1_3->n60_a_loosechange__1_3_1 n60_a_loosechange__1_3_2 BE;_cat_VePASS_ n60_a_loosechange__1_3->n60_a_loosechange__1_3_2 n60_a_loosechange__1_3_3 IP-PPL-CAT n60_a_loosechange__1_3->n60_a_loosechange__1_3_3 n60_a_loosechange__1_3_1->n60_a_loosechange__1_3_1_1 n60_a_loosechange__1_3_2->n60_a_loosechange__1_3_2_1 n60_a_loosechange__1_3_3_1 NP-LGS n60_a_loosechange__1_3_3->n60_a_loosechange__1_3_3_1 n60_a_loosechange__1_3_3_2 VVN;_Tn_ n60_a_loosechange__1_3_3->n60_a_loosechange__1_3_3_2 n60_a_loosechange__1_3_3_3 PP-NIM n60_a_loosechange__1_3_3->n60_a_loosechange__1_3_3_3 n60_a_loosechange__1_3_3_1->n60_a_loosechange__1_3_3_1_1 n60_a_loosechange__1_3_3_2->n60_a_loosechange__1_3_3_2_1 n60_a_loosechange__1_3_3_3_1 P-ROLE n60_a_loosechange__1_3_3_3->n60_a_loosechange__1_3_3_3_1 n60_a_loosechange__1_3_3_3_2 NP n60_a_loosechange__1_3_3_3->n60_a_loosechange__1_3_3_3_2 n60_a_loosechange__1_3_3_3_1->n60_a_loosechange__1_3_3_3_1_1 n60_a_loosechange__1_3_3_3_2_1 NP-GEN n60_a_loosechange__1_3_3_3_2->n60_a_loosechange__1_3_3_3_2_1 n60_a_loosechange__1_3_3_3_2_2 N n60_a_loosechange__1_3_3_3_2->n60_a_loosechange__1_3_3_3_2_2 n60_a_loosechange__1_3_3_3_2_1_1 PRO;_genm_ n60_a_loosechange__1_3_3_3_2_1->n60_a_loosechange__1_3_3_3_2_1_1 n60_a_loosechange__1_3_3_3_2_1_1->n60_a_loosechange__1_3_3_3_2_1_1_1 n60_a_loosechange__1_3_3_3_2_2->n60_a_loosechange__1_3_3_3_2_2_1 n60_a_loosechange__1_4->n60_a_loosechange__1_4_1 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;_Tt_ wanted;{want})
          (IP-INF-OB1 (TO to;{to})
                      (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ released;{release})
                                  (PP-NIM (P-ROLE from;{from})
                                          (NP (NP-GEN (PRO;_genm_ my;{my}))
                                              (N obligation;{obligation})))))
          (PUNC .))
  (ID 60_a_loosechange))