arc(r_0032_0004___apos_ll, r_0032_0002__Then, nim4).
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_nim25).
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_nim44).

fof(formula,axiom,
    ? [R_32_2_THEN] :
      ( then(R_32_2_THEN)
      & ? [R_32_11_AND,R_32_5_GET,R_32_6_SOME_CHANGE,R_32_9_THE_SHOP,R_32_12_PAY_BACK,R_32_3_I,R_32_13_THEM,R_32_16_YOU] :
          ( some_change(R_32_6_SOME_CHANGE)
          & the_shop(R_32_9_THE_SHOP)
          & i(R_32_3_I)
          & them(R_32_13_THEM)
          & you(R_32_16_YOU)
          & and(R_32_11_AND)
          & conj1(R_32_11_AND,R_32_5_GET)
          & get(R_32_5_GET,R_32_3_I,R_32_6_SOME_CHANGE)
          & in_nim25(R_32_5_GET,R_32_9_THE_SHOP)
          & conj2(R_32_11_AND,R_32_12_PAY_BACK)
          & pay_back(R_32_12_PAY_BACK,R_32_3_I,R_32_13_THEM)
          & to_nim44(R_32_12_PAY_BACK,R_32_16_YOU) ) ) ).

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