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

fof(formula,axiom,
    ? [R_0060_0001__I,R_0060_0008__OBLIGATION,Z_000_60_A_LOOSECHANGE_13,R_0060_0003__TO_R_0060_0004__BE_R_0060_0005__RELEASED,R_0060_0002__WANTED] :
      ( r_0060_0001__I(R_0060_0001__I)
      & z_000_60_a_loosechange_13(Z_000_60_A_LOOSECHANGE_13)
      & r_0060_0002__wanted(R_0060_0002__WANTED)
      & has_arg1(R_0060_0002__WANTED,R_0060_0003__TO_R_0060_0004__BE_R_0060_0005__RELEASED)
      & r_0060_0003__to_r_0060_0004__be_r_0060_0005__released(R_0060_0003__TO_R_0060_0004__BE_R_0060_0005__RELEASED)
      & has_arg0(R_0060_0003__TO_R_0060_0004__BE_R_0060_0005__RELEASED,Z_000_60_A_LOOSECHANGE_13)
      & has_r_0060_0006__from_nim20(R_0060_0003__TO_R_0060_0004__BE_R_0060_0005__RELEASED,R_0060_0008__OBLIGATION)
      & r_0060_0008__obligation(R_0060_0008__OBLIGATION)
      & has_gen(R_0060_0008__OBLIGATION,R_0060_0001__I)
      & has_arg1(R_0060_0003__TO_R_0060_0004__BE_R_0060_0005__RELEASED,R_0060_0001__I)
      & has_arg0(R_0060_0002__WANTED,R_0060_0001__I) ) ).

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