( (IP-MAT (PULQ <lquo>)
          (ADVP-NIM (ADV Then;{then}))
          (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (ILYR (ILYR (VB;_Tn_ get;{get})
                                  (NP-OB1 (D some;{some})
                                          (N change;{change}))
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (D the;{the})
                                              (N shop;{shop}))))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_phr_Vn<=>p_ pay;{pay[back]})
                                         (NP-OB1;{COINS} (PRO them;{they}))
                                         (RP back;{back})
                                         (PP-NIM (P-ROLE to;{to})
                                                 (NP (PRO you;{you})))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 32_a_loosechange))

arc(r_0032_0004___apos_ll,r_0032_0002__Then,nim).
arc(r_0032_0004___apos_ll,r_0032_0011__and,scope).
arc(r_0032_0005__get,r_0032_0003__I,arg0).
arc(r_0032_0005__get,r_0032_0006__some_r_0032_0007__change,arg1).
arc(r_0032_0005__get,r_0032_0009__the_r_0032_0010__shop,r_0032_0008__in__nim).
arc(r_0032_0011__and,r_0032_0005__get,conj1).
arc(r_0032_0011__and,r_0032_0012__pay_r_0032_0014__back,conj2).
arc(r_0032_0012__pay_r_0032_0014__back,r_0032_0003__I,arg0).
arc(r_0032_0012__pay_r_0032_0014__back,r_0032_0013__them,arg1).
arc(r_0032_0012__pay_r_0032_0014__back,r_0032_0016__you,r_0032_0015__to__nim).

fof(formula,axiom,
    ? [R_0032_0002__THEN,R_0032_0003__I,R_0032_0006__SOME_R_0032_0007__CHANGE,R_0032_0009__THE_R_0032_0010__SHOP,R_0032_0005__GET,R_0032_0013__THEM,R_0032_0016__YOU,R_0032_0012__PAY_R_0032_0014__BACK,R_0032_0011__AND,R_0032_0004___APOS_LL] :
      ( r_0032_0002__Then(R_0032_0002__THEN)
      & r_0032_0003__I(R_0032_0003__I)
      & r_0032_0006__some_r_0032_0007__change(R_0032_0006__SOME_R_0032_0007__CHANGE)
      & r_0032_0009__the_r_0032_0010__shop(R_0032_0009__THE_R_0032_0010__SHOP)
      & r_0032_0013__them(R_0032_0013__THEM)
      & r_0032_0016__you(R_0032_0016__YOU)
      & r_0032_0004___apos_ll(R_0032_0004___APOS_LL)
      & has_keep_scope(R_0032_0004___APOS_LL,R_0032_0011__AND)
      & r_0032_0011__and(R_0032_0011__AND)
      & has_conj2(R_0032_0011__AND,R_0032_0012__PAY_R_0032_0014__BACK)
      & r_0032_0012__pay_r_0032_0014__back(R_0032_0012__PAY_R_0032_0014__BACK)
      & has_r_0032_0015__to__nim(R_0032_0012__PAY_R_0032_0014__BACK,R_0032_0016__YOU)
      & has_arg1(R_0032_0012__PAY_R_0032_0014__BACK,R_0032_0013__THEM)
      & has_arg0(R_0032_0012__PAY_R_0032_0014__BACK,R_0032_0003__I)
      & has_conj1(R_0032_0011__AND,R_0032_0005__GET)
      & r_0032_0005__get(R_0032_0005__GET)
      & has_r_0032_0008__in__nim(R_0032_0005__GET,R_0032_0009__THE_R_0032_0010__SHOP)
      & has_arg1(R_0032_0005__GET,R_0032_0006__SOME_R_0032_0007__CHANGE)
      & has_arg0(R_0032_0005__GET,R_0032_0003__I)
      & has_nim(R_0032_0004___APOS_LL,R_0032_0002__THEN) ) ).