( (IP-MAT (NP-SBJ;{LOOSE_CHANGE} (PRO It;{it}))
          (BED;_Ln_ was;{be})
          (NP-PRD (NS coppers;{copper}))
          (ADVP-NIM (ADV mostly;{mostly}))
          (PUNC .))
  (ID 21_a_loosechange))

arc(r_0021_0002__was,r_0021_0001__It,arg0).
arc(r_0021_0002__was,r_0021_0003__coppers,prd).
arc(r_0021_0002__was,r_0021_0004__mostly,nim).

fof(formula,axiom,
    ? [R_0021_0001__IT,R_0021_0003__COPPERS,R_0021_0004__MOSTLY,R_0021_0002__WAS] :
      ( r_0021_0001__It(R_0021_0001__IT)
      & r_0021_0003__coppers(R_0021_0003__COPPERS)
      & r_0021_0004__mostly(R_0021_0004__MOSTLY)
      & r_0021_0002__was(R_0021_0002__WAS)
      & has_nim(R_0021_0002__WAS,R_0021_0004__MOSTLY)
      & has_prd(R_0021_0002__WAS,R_0021_0003__COPPERS)
      & has_arg0(R_0021_0002__WAS,R_0021_0001__IT) ) ).