arc(r_0062_0004__can, r_0062_0002__Then, nim4).
arc(r_0062_0004__can, r_0062_0005__give, scope).
arc(r_0062_0005__give, r_0062_0003__I, arg0).
arc(r_0062_0005__give, r_0062_0006__you, arg2).
arc(r_0062_0005__give, r_0062_0007__back, nim18).
arc(r_0062_0005__give, r_0062_0009__money, arg1).
arc(r_0062_0009__money, r_0062_0006__you, gen).

fof(formula,axiom,
    ? [R_62_4_CAN_GIVE,R_62_3_I,R_62_9_MONEY,R_62_6_YOU,R_62_7_BACK,R_62_2_THEN] :
      ( i(R_62_3_I)
      & you(R_62_6_YOU)
      & back(R_62_7_BACK)
      & then(R_62_2_THEN)
      & can_give(R_62_4_CAN_GIVE,R_62_3_I,R_62_9_MONEY,R_62_6_YOU)
      & money(R_62_9_MONEY)
      & gen(R_62_9_MONEY,R_62_6_YOU)
      & nim18(R_62_4_CAN_GIVE,R_62_7_BACK)
      & nim4(R_62_4_CAN_GIVE,R_62_2_THEN) ) ).

( (IP-MAT (PULQ <lquo>)
          (ADVP-NIM (ADV Then;{then}))
          (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (VB;_Dn.n_ give;{give})
                      (NP-OB2;{LAYLOR} (PRO you;{you}))
                      (ADVP-NIM (ADV back;{back}))
                      (NP-OB1 (NP-GEN;{LAYLOR} (PRO;_genm_ your;{your}))
                              (N money;{money})))
          (PUNC .)
          (PURQ <rquo>))
  (ID 62_a_loosechange))