( (IP-MAT (NP-SBJ;{LAYLOR} (PRO She;{she}))
          (VBD;_cat_Vg_ began;{begin})
          (IP-PPL-OB1 (VAG;_Ipr_ playing;{play[with]})
                      (PP-CLR (P-ROLE with;{with})
                              (NP;{COINS} (PRO them;{they})))
                      (PP-NIM (P-ROLE on;{on})
                              (NP (D the;{the})
                                  (N tabletop;{tabletop})))
                      (PUNC <hyphen>)
                      (PP-SCON (IP-PPL (VAG;_Tn_ pushing;{push})
                                       (NP-OB1 (D;_nphd_ one;{one}))
                                       (PP-NIM (P-ROLE around;{around})
                                               (NP (D the;{the})
                                                   (ADJP (ADJ other;{other}))
                                                   (NUM two;{two})))
                                       (PP-NIM (P-ROLE in;{in})
                                               (NP (D a;{a})
                                                   (N figure;{figure})
                                                   (PP (P-ROLE of;{of})
                                                       (NP (NUM eight;{eight}))))))))
          (PUNC .))
  (ID 67_a_loosechange))

arc(r_0067_0002__began,r_0067_0001__She,arg0).
arc(r_0067_0002__began,z_0067_5002,arg1).
arc(r_0067_0003__playing_r_0067_0004__with,r_0067_0001__She,arg0).
arc(r_0067_0003__playing_r_0067_0004__with,r_0067_0005__them,arg1).
arc(r_0067_0003__playing_r_0067_0004__with,r_0067_0007__the_r_0067_0008__tabletop,r_0067_0006__on__nim).
arc(r_0067_0010__pushing,r_0067_0005__them,arg0).
arc(r_0067_0010__pushing,r_0067_0011__one,arg1).
arc(r_0067_0010__pushing,r_0067_0013__the_r_0067_0015__two,r_0067_0012__around__nim).
arc(r_0067_0010__pushing,r_0067_0017__a_r_0067_0018__figure,r_0067_0016__in__nim).
arc(r_0067_0013__the_r_0067_0015__two,r_0067_0014__other,attrib).
arc(r_0067_0017__a_r_0067_0018__figure,r_0067_0020__eight,r_0067_0019__of).
arc(z_0067_5002,r_0067_0003__playing_r_0067_0004__with,scope).
arc(z_0067_5002,r_0067_0010__pushing,restriction).

fof(formula,axiom,
    ? [R_0067_0001__SHE,R_0067_0005__THEM,R_0067_0007__THE_R_0067_0008__TABLETOP,R_0067_0003__PLAYING_R_0067_0004__WITH,R_0067_0011__ONE,R_0067_0014__OTHER,R_0067_0013__THE_R_0067_0015__TWO,R_0067_0020__EIGHT,R_0067_0017__A_R_0067_0018__FIGURE,R_0067_0010__PUSHING,Z_0067_5002,R_0067_0002__BEGAN] :
      ( r_0067_0001__She(R_0067_0001__SHE)
      & r_0067_0005__them(R_0067_0005__THEM)
      & r_0067_0007__the_r_0067_0008__tabletop(R_0067_0007__THE_R_0067_0008__TABLETOP)
      & r_0067_0011__one(R_0067_0011__ONE)
      & r_0067_0014__other(R_0067_0014__OTHER)
      & r_0067_0020__eight(R_0067_0020__EIGHT)
      & r_0067_0002__began(R_0067_0002__BEGAN)
      & has_arg1(R_0067_0002__BEGAN,Z_0067_5002)
      & z_0067_5002(Z_0067_5002)
      & has_conj1(Z_0067_5002,R_0067_0010__PUSHING)
      & r_0067_0010__pushing(R_0067_0010__PUSHING)
      & has_r_0067_0016__in__nim(R_0067_0010__PUSHING,R_0067_0017__A_R_0067_0018__FIGURE)
      & r_0067_0017__a_r_0067_0018__figure(R_0067_0017__A_R_0067_0018__FIGURE)
      & has_r_0067_0019__of(R_0067_0017__A_R_0067_0018__FIGURE,R_0067_0020__EIGHT)
      & has_r_0067_0012__around__nim(R_0067_0010__PUSHING,R_0067_0013__THE_R_0067_0015__TWO)
      & r_0067_0013__the_r_0067_0015__two(R_0067_0013__THE_R_0067_0015__TWO)
      & has_attrib(R_0067_0013__THE_R_0067_0015__TWO,R_0067_0014__OTHER)
      & has_arg1(R_0067_0010__PUSHING,R_0067_0011__ONE)
      & has_arg0(R_0067_0010__PUSHING,R_0067_0005__THEM)
      & has_conj2(Z_0067_5002,R_0067_0003__PLAYING_R_0067_0004__WITH)
      & r_0067_0003__playing_r_0067_0004__with(R_0067_0003__PLAYING_R_0067_0004__WITH)
      & has_r_0067_0006__on__nim(R_0067_0003__PLAYING_R_0067_0004__WITH,R_0067_0007__THE_R_0067_0008__TABLETOP)
      & has_arg1(R_0067_0003__PLAYING_R_0067_0004__WITH,R_0067_0005__THEM)
      & has_arg0(R_0067_0003__PLAYING_R_0067_0004__WITH,R_0067_0001__SHE)
      & has_arg0(R_0067_0002__BEGAN,R_0067_0001__SHE) ) ).