( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;_Tn.pr_ picked;{pick})
          (NP-OB1;{COINS} (NUM three;{three})
                          (ADJP (ADJ damp;{damp}))
                          (NS coins;{coin}))
          (PP-NIM (P-ROLE out_of;{out_of})
                  (NP (D the;{the})
                      (N pile;{pile})))
          (PUNC .))
  (ID 31_a_loosechange))

arc(r_0031_0002__picked,r_0031_0001__I,arg0).
arc(r_0031_0002__picked,r_0031_0003__three_r_0031_0005__coins,arg1).
arc(r_0031_0002__picked,r_0031_0007__the_r_0031_0008__pile,r_0031_0006__out_of__nim).
arc(r_0031_0003__three_r_0031_0005__coins,r_0031_0004__damp,attrib).

fof(formula,axiom,
    ? [R_0031_0001__I,R_0031_0004__DAMP,R_0031_0003__THREE_R_0031_0005__COINS,R_0031_0007__THE_R_0031_0008__PILE,R_0031_0002__PICKED] :
      ( r_0031_0001__I(R_0031_0001__I)
      & r_0031_0004__damp(R_0031_0004__DAMP)
      & r_0031_0007__the_r_0031_0008__pile(R_0031_0007__THE_R_0031_0008__PILE)
      & r_0031_0002__picked(R_0031_0002__PICKED)
      & has_r_0031_0006__out_of__nim(R_0031_0002__PICKED,R_0031_0007__THE_R_0031_0008__PILE)
      & has_arg1(R_0031_0002__PICKED,R_0031_0003__THREE_R_0031_0005__COINS)
      & r_0031_0003__three_r_0031_0005__coins(R_0031_0003__THREE_R_0031_0005__COINS)
      & has_attrib(R_0031_0003__THREE_R_0031_0005__COINS,R_0031_0004__DAMP)
      & has_arg0(R_0031_0002__PICKED,R_0031_0001__I) ) ).