arc(r_0065_0002__money, r_0065_0001__Her, gen).
arc(r_0065_0003__jangled, r_0065_0002__money, arg0).
arc(r_0065_0003__jangled, r_0065_0005__a_r_0065_0006__win, r_0065_0004__like_nim13).
arc(r_0065_0005__a_r_0065_0006__win, r_0065_0008__a_r_0065_0009__slot_r_0065_0010__machine, r_0065_0007__on).
arc(r_0065_0011__as, r_0065_0003__jangled, scope).
arc(r_0065_0011__as, r_0065_0013__tipped, restriction).
arc(r_0065_0013__tipped, r_0065_0002__money, arg1).
arc(r_0065_0013__tipped, r_0065_0012__she, arg0).
arc(r_0065_0013__tipped, r_0065_0015__back, clr40).
arc(r_0065_0015__back, r_0065_0018__pocket, r_0065_0016__into).
arc(r_0065_0018__pocket, r_0065_0012__she, gen).

fof(formula,axiom,
    ? [R_65_11_AS,R_65_13_TIPPED,R_65_15_BACK,R_65_18_POCKET,R_65_12_SHE,R_65_3_JANGLED,R_65_2_MONEY,R_65_1_HER,R_65_5_A_WIN,R_65_8_A_SLOT_MACHINE] :
      ( she(R_65_12_SHE)
      & her(R_65_1_HER)
      & a_slot_machine(R_65_8_A_SLOT_MACHINE)
      & as(R_65_11_AS)
      & conj1(R_65_11_AS,R_65_13_TIPPED)
      & tipped(R_65_13_TIPPED,R_65_12_SHE,R_65_2_MONEY)
      & money(R_65_2_MONEY)
      & gen(R_65_2_MONEY,R_65_1_HER)
      & clr40(R_65_13_TIPPED,R_65_15_BACK)
      & back(R_65_15_BACK)
      & into(R_65_15_BACK,R_65_18_POCKET)
      & pocket(R_65_18_POCKET)
      & gen(R_65_18_POCKET,R_65_12_SHE)
      & conj2(R_65_11_AS,R_65_3_JANGLED)
      & jangled(R_65_3_JANGLED,R_65_2_MONEY)
      & like_nim13(R_65_3_JANGLED,R_65_5_A_WIN)
      & a_win(R_65_5_A_WIN)
      & on(R_65_5_A_WIN,R_65_8_A_SLOT_MACHINE) ) ).

( (IP-MAT (NP-SBJ;{LOOSE_CHANGE} (NP-GEN;{LAYLOR} (PRO;_genm_ Her;{her}))
                                 (N money;{money}))
          (VBD;_I_ jangled;{jangle})
          (PP-NIM (P-ROLE like;{like})
                  (NP (D a;{a})
                      (N win;{win})
                      (PP (P-ROLE on;{on})
                          (NP (D a;{a})
                              (N slot;{slot})
                              (N machine;{machine})))))
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ;{LAYLOR} (PRO she;{she}))
                           (VBD;_Tn.p_ tipped;{tip[back]})
                           (NP-OB1;{LOOSE_CHANGE} (PRO it;{it}))
                           (ADVP-CLR (ADV back;{back})
                                     (PP (P-ROLE into;{into})
                                         (NP (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                                             (N pocket;{pocket}))))))
          (PUNC .))
  (ID 65_a_loosechange))