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_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_r_0060_0005__released to be released r_0060_0002__wanted->r_0060_0003__to_r_0060_0004__be_r_0060_0005__released [arg1] r_0060_0003__to_r_0060_0004__be_r_0060_0005__released->r_0060_0001__I [arg1] r_0060_0008__obligation obligation r_0060_0003__to_r_0060_0004__be_r_0060_0005__released->r_0060_0008__obligation from [nim] 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_0008__obligation->r_0060_0001__I [gen] 
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_4 I n60_a_loosechange_6 wanted n60_a_loosechange_9 to n60_a_loosechange_11 be n60_a_loosechange_14 * n60_a_loosechange_16 released n60_a_loosechange_19 from n60_a_loosechange_23 my n60_a_loosechange_25 obligation n60_a_loosechange_27 . n60_a_loosechange_1 IP-MAT n60_a_loosechange_2 NP-SBJ n60_a_loosechange_1->n60_a_loosechange_2 n60_a_loosechange_5 VBD;_Tt_ n60_a_loosechange_1->n60_a_loosechange_5 n60_a_loosechange_7 IP-INF-OB1 n60_a_loosechange_1->n60_a_loosechange_7 n60_a_loosechange_26 PUNC n60_a_loosechange_1->n60_a_loosechange_26 n60_a_loosechange_3 PRO n60_a_loosechange_2->n60_a_loosechange_3 n60_a_loosechange_3->n60_a_loosechange_4 n60_a_loosechange_5->n60_a_loosechange_6 n60_a_loosechange_8 TO n60_a_loosechange_7->n60_a_loosechange_8 n60_a_loosechange_10 BE;_cat_VePASS_ n60_a_loosechange_7->n60_a_loosechange_10 n60_a_loosechange_12 IP-PPL-CAT n60_a_loosechange_7->n60_a_loosechange_12 n60_a_loosechange_8->n60_a_loosechange_9 n60_a_loosechange_10->n60_a_loosechange_11 n60_a_loosechange_13 NP-LGS n60_a_loosechange_12->n60_a_loosechange_13 n60_a_loosechange_15 VVN;_Tn_ n60_a_loosechange_12->n60_a_loosechange_15 n60_a_loosechange_17 PP-NIM n60_a_loosechange_12->n60_a_loosechange_17 n60_a_loosechange_13->n60_a_loosechange_14 n60_a_loosechange_15->n60_a_loosechange_16 n60_a_loosechange_18 P-ROLE n60_a_loosechange_17->n60_a_loosechange_18 n60_a_loosechange_20 NP n60_a_loosechange_17->n60_a_loosechange_20 n60_a_loosechange_18->n60_a_loosechange_19 n60_a_loosechange_21 NP-GEN n60_a_loosechange_20->n60_a_loosechange_21 n60_a_loosechange_24 N n60_a_loosechange_20->n60_a_loosechange_24 n60_a_loosechange_22 PRO;_genm_ n60_a_loosechange_21->n60_a_loosechange_22 n60_a_loosechange_22->n60_a_loosechange_23 n60_a_loosechange_24->n60_a_loosechange_25 n60_a_loosechange_26->n60_a_loosechange_27 
( (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))