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

arc(r_0060_0002__wanted,r_0060_0001__I,arg0).
arc(r_0060_0002__wanted,r_0060_0004__be,arg1).
arc(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__nim).
arc(r_0060_0005__released,z_0060_5005___star_,arg0).
arc(r_0060_0008__obligation,r_0060_0001__I,gen).

fof(formula,axiom,
    ? [R_0060_0001__I,R_0060_0008__OBLIGATION,Z_0060_5005___STAR_,R_0060_0004__BE_R_0060_0005__RELEASED,R_0060_0002__WANTED] :
      ( r_0060_0001__I(R_0060_0001__I)
      & z_0060_5005___star_(Z_0060_5005___STAR_)
      & r_0060_0002__wanted(R_0060_0002__WANTED)
      & has_arg1(R_0060_0002__WANTED,R_0060_0004__BE_R_0060_0005__RELEASED)
      & r_0060_0004__be_r_0060_0005__released(R_0060_0004__BE_R_0060_0005__RELEASED)
      & has_arg0(R_0060_0004__BE_R_0060_0005__RELEASED,Z_0060_5005___STAR_)
      & has_r_0060_0006__from__nim(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_0004__BE_R_0060_0005__RELEASED,R_0060_0001__I)
      & has_arg0(R_0060_0002__WANTED,R_0060_0001__I) ) ).