( (IP-MAT (NP-SBJ;{LAYLOR} (NPR Laylor;{Laylor}))
          (ILYR (ILYR (VBD;_Tn.pr_ took;{take})
                      (NP-OB1;{LOOSE_CHANGE} (D the;{the})
                                             (N money;{money}))
                      (PP-CLR (P-ROLE from;{from})
                              (NP (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                                  (N pocket;{pocket}))))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_phr_Vn<=>p_ held;{hold[up]})
                             (NP-OB1;{LOOSE_CHANGE} (PRO it;{it}))
                             (RP up;{up})
                             (PP-NIM (P-ROLE to;{to})
                                     (NP;{BROTHER} (PRO him;{he}))))))
          (PUNC .))
  (ID 101_a_loosechange))

arc(r_0101_0002__took_r_0101_0005__from,r_0101_0001__Laylor,arg0).
arc(r_0101_0002__took_r_0101_0005__from,r_0101_0003__the_r_0101_0004__money,arg1).
arc(r_0101_0002__took_r_0101_0005__from,r_0101_0007__pocket,arg2).
arc(r_0101_0007__pocket,r_0101_0001__Laylor,gen).
arc(r_0101_0008__and,r_0101_0002__took_r_0101_0005__from,conj1).
arc(r_0101_0008__and,r_0101_0009__held_r_0101_0011__up,conj2).
arc(r_0101_0009__held_r_0101_0011__up,r_0101_0001__Laylor,arg0).
arc(r_0101_0009__held_r_0101_0011__up,r_0101_0003__the_r_0101_0004__money,arg1).
arc(r_0101_0009__held_r_0101_0011__up,r_0101_0013__him,r_0101_0012__to__nim).

fof(formula,axiom,
    ? [R_0101_0001__LAYLOR,R_0101_0003__THE_R_0101_0004__MONEY,R_0101_0007__POCKET,R_0101_0002__TOOK_R_0101_0005__FROM,R_0101_0013__HIM,R_0101_0009__HELD_R_0101_0011__UP,R_0101_0008__AND] :
      ( r_0101_0001__Laylor(R_0101_0001__LAYLOR)
      & r_0101_0003__the_r_0101_0004__money(R_0101_0003__THE_R_0101_0004__MONEY)
      & r_0101_0013__him(R_0101_0013__HIM)
      & r_0101_0008__and(R_0101_0008__AND)
      & has_conj2(R_0101_0008__AND,R_0101_0009__HELD_R_0101_0011__UP)
      & r_0101_0009__held_r_0101_0011__up(R_0101_0009__HELD_R_0101_0011__UP)
      & has_r_0101_0012__to__nim(R_0101_0009__HELD_R_0101_0011__UP,R_0101_0013__HIM)
      & has_arg1(R_0101_0009__HELD_R_0101_0011__UP,R_0101_0003__THE_R_0101_0004__MONEY)
      & has_arg0(R_0101_0009__HELD_R_0101_0011__UP,R_0101_0001__LAYLOR)
      & has_conj1(R_0101_0008__AND,R_0101_0002__TOOK_R_0101_0005__FROM)
      & r_0101_0002__took_r_0101_0005__from(R_0101_0002__TOOK_R_0101_0005__FROM)
      & has_arg2(R_0101_0002__TOOK_R_0101_0005__FROM,R_0101_0007__POCKET)
      & r_0101_0007__pocket(R_0101_0007__POCKET)
      & has_gen(R_0101_0007__POCKET,R_0101_0001__LAYLOR)
      & has_arg1(R_0101_0002__TOOK_R_0101_0005__FROM,R_0101_0003__THE_R_0101_0004__MONEY)
      & has_arg0(R_0101_0002__TOOK_R_0101_0005__FROM,R_0101_0001__LAYLOR) ) ).