( (IP-MAT (ADVP-NIM (ADV Only;{only}))
          (NP-SBJ (PRO I;{I}))
          (DOP do;{do})
          (NEG;_clitic_ n<apos>t;{not})
          (VB;_Tn_ want;{want})
          (NP-OB1 (Q;_nphd_ all;{all})
                  (NLYR (D those;{those})
                        (NS coins;{coin})))
          (PUNC .)
          (PURQ <rquo>))
  (ID 35_a_loosechange))

arc(r_0035_0003__do_r_0035_0005__want,r_0035_0001__Only,nim).
arc(r_0035_0003__do_r_0035_0005__want,r_0035_0002__I,arg0).
arc(r_0035_0003__do_r_0035_0005__want,z_0035_5005,arg1).
arc(r_0035_0004__n_apos_t,r_0035_0003__do_r_0035_0005__want,keep_scope).
arc(r_0035_0006__all__quant,r_0035_0004__n_apos_t,scope).
arc(r_0035_0006__all__quant,z_0035_5005,restriction).
arc(z_0035_5005,r_0035_0007__those_r_0035_0008__coins,nim).

fof(formula,axiom,
    ! [Z_0035_5005,R_0035_0007__THOSE_R_0035_0008__COINS] :
      ( ( r_0035_0007__those_r_0035_0008__coins(R_0035_0007__THOSE_R_0035_0008__COINS)
        & z_0035_5005(Z_0035_5005)
        & has_nim(Z_0035_5005,R_0035_0007__THOSE_R_0035_0008__COINS) )
     => ~ ? [R_0035_0001__ONLY,R_0035_0002__I,R_0035_0003__DO_R_0035_0005__WANT] :
            ( r_0035_0001__Only(R_0035_0001__ONLY)
            & r_0035_0002__I(R_0035_0002__I)
            & r_0035_0003__do_r_0035_0005__want(R_0035_0003__DO_R_0035_0005__WANT)
            & has_arg1(R_0035_0003__DO_R_0035_0005__WANT,Z_0035_5005)
            & has_arg0(R_0035_0003__DO_R_0035_0005__WANT,R_0035_0002__I)
            & has_nim(R_0035_0003__DO_R_0035_0005__WANT,R_0035_0001__ONLY) ) ) ).