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

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__nim).
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_0001__Her,arg0).
arc(r_0065_0013__tipped,r_0065_0002__money,arg1).
arc(r_0065_0013__tipped,r_0065_0015__back,clr).
arc(r_0065_0015__back,r_0065_0018__pocket,r_0065_0016__into).
arc(r_0065_0018__pocket,r_0065_0001__Her,gen).

fof(formula,axiom,
    ? [R_0065_0001__HER,R_0065_0002__MONEY,R_0065_0008__A_R_0065_0009__SLOT_R_0065_0010__MACHINE,R_0065_0005__A_R_0065_0006__WIN,R_0065_0003__JANGLED,R_0065_0018__POCKET,R_0065_0015__BACK,R_0065_0013__TIPPED,R_0065_0011__AS] :
      ( r_0065_0001__Her(R_0065_0001__HER)
      & r_0065_0008__a_r_0065_0009__slot_r_0065_0010__machine(R_0065_0008__A_R_0065_0009__SLOT_R_0065_0010__MACHINE)
      & r_0065_0011__as(R_0065_0011__AS)
      & has_conj1(R_0065_0011__AS,R_0065_0013__TIPPED)
      & r_0065_0013__tipped(R_0065_0013__TIPPED)
      & has_clr(R_0065_0013__TIPPED,R_0065_0015__BACK)
      & r_0065_0015__back(R_0065_0015__BACK)
      & has_r_0065_0016__into(R_0065_0015__BACK,R_0065_0018__POCKET)
      & r_0065_0018__pocket(R_0065_0018__POCKET)
      & has_gen(R_0065_0018__POCKET,R_0065_0001__HER)
      & has_arg1(R_0065_0013__TIPPED,R_0065_0002__MONEY)
      & r_0065_0002__money(R_0065_0002__MONEY)
      & has_gen(R_0065_0002__MONEY,R_0065_0001__HER)
      & has_arg0(R_0065_0013__TIPPED,R_0065_0001__HER)
      & has_conj2(R_0065_0011__AS,R_0065_0003__JANGLED)
      & r_0065_0003__jangled(R_0065_0003__JANGLED)
      & has_r_0065_0004__like__nim(R_0065_0003__JANGLED,R_0065_0005__A_R_0065_0006__WIN)
      & r_0065_0005__a_r_0065_0006__win(R_0065_0005__A_R_0065_0006__WIN)
      & has_r_0065_0007__on(R_0065_0005__A_R_0065_0006__WIN,R_0065_0008__A_R_0065_0009__SLOT_R_0065_0010__MACHINE)
      & has_arg0(R_0065_0003__JANGLED,R_0065_0002__MONEY) ) ).