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

arc(r_0062_0004__can,r_0062_0002__Then,nim).
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,nim).
arc(r_0062_0005__give,r_0062_0009__money,arg1).
arc(r_0062_0009__money,r_0062_0006__you,gen).

fof(formula,axiom,
    ? [R_0062_0002__THEN,R_0062_0003__I,R_0062_0006__YOU,R_0062_0007__BACK,R_0062_0009__MONEY,R_0062_0004__CAN_R_0062_0005__GIVE] :
      ( r_0062_0002__Then(R_0062_0002__THEN)
      & r_0062_0003__I(R_0062_0003__I)
      & r_0062_0006__you(R_0062_0006__YOU)
      & r_0062_0007__back(R_0062_0007__BACK)
      & r_0062_0004__can_r_0062_0005__give(R_0062_0004__CAN_R_0062_0005__GIVE)
      & has_arg1(R_0062_0004__CAN_R_0062_0005__GIVE,R_0062_0009__MONEY)
      & r_0062_0009__money(R_0062_0009__MONEY)
      & has_gen(R_0062_0009__MONEY,R_0062_0006__YOU)
      & has_nim(R_0062_0004__CAN_R_0062_0005__GIVE,R_0062_0007__BACK)
      & has_arg2(R_0062_0004__CAN_R_0062_0005__GIVE,R_0062_0006__YOU)
      & has_arg0(R_0062_0004__CAN_R_0062_0005__GIVE,R_0062_0003__I)
      & has_nim(R_0062_0004__CAN_R_0062_0005__GIVE,R_0062_0002__THEN) ) ).