( (IP-MAT (NP-SBJ;{LAYLOR} (PRO She;{she}))
          (VBD;_phr_Vn<=>p_ slapped;{slap[away]})
          (NP-OB1 (NP-GEN;{BROTHER} (PRO;_genm_ his;{his}))
                  (N hand;{hand}))
          (RP away;{away})
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ;{BROTHER} (PRO he;{he}))
                           (VBD;_Tt_ tried;{try})
                           (IP-INF-OB1 (TO to;{to})
                                       (VB;_Tn.pr_ wrest;{wrest[from]})
                                       (NP-OB1 (Q;_nphd_ all;{all})
                                               (NLYR (D the;{the})
                                                     (NS coins;{coin})))
                                       (PP-CLR (P-ROLE from;{from})
                                               (NP (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                                                   (N palm;{palm}))))))
          (PUNC .))
  (ID 102_a_loosechange))

arc(r_0102_0002__slapped_r_0102_0005__away,r_0102_0001__She,arg0).
arc(r_0102_0002__slapped_r_0102_0005__away,r_0102_0004__hand,arg1).
arc(r_0102_0004__hand,r_0102_0003__his,gen).
arc(r_0102_0006__when,r_0102_0002__slapped_r_0102_0005__away,scope).
arc(r_0102_0006__when,r_0102_0008__tried,restriction).
arc(r_0102_0008__tried,r_0102_0003__his,arg0).
arc(r_0102_0008__tried,r_0102_0011__all__quant,arg1).
arc(r_0102_0010__wrest_r_0102_0014__from,r_0102_0003__his,arg0).
arc(r_0102_0010__wrest_r_0102_0014__from,r_0102_0016__palm,arg2).
arc(r_0102_0010__wrest_r_0102_0014__from,z_0102_5008,arg1).
arc(r_0102_0011__all__quant,r_0102_0010__wrest_r_0102_0014__from,scope).
arc(r_0102_0011__all__quant,z_0102_5008,restriction).
arc(r_0102_0016__palm,r_0102_0001__She,gen).
arc(z_0102_5008,r_0102_0012__the_r_0102_0013__coins,nim).

fof(formula,axiom,
    ! [R_0102_0008__TRIED,R_0102_0003__HIS] :
      ( ( r_0102_0003__his(R_0102_0003__HIS)
        & r_0102_0008__tried(R_0102_0008__TRIED)
        & ! [Z_0102_5008,R_0102_0012__THE_R_0102_0013__COINS] :
            ( ( r_0102_0012__the_r_0102_0013__coins(R_0102_0012__THE_R_0102_0013__COINS)
              & z_0102_5008(Z_0102_5008)
              & has_nim(Z_0102_5008,R_0102_0012__THE_R_0102_0013__COINS) )
           => ? [R_0102_0001__SHE,R_0102_0016__PALM,R_0102_0010__WREST_R_0102_0014__FROM] :
                ( r_0102_0001__She(R_0102_0001__SHE)
                & r_0102_0010__wrest_r_0102_0014__from(R_0102_0010__WREST_R_0102_0014__FROM)
                & has_arg1(R_0102_0010__WREST_R_0102_0014__FROM,Z_0102_5008)
                & has_arg2(R_0102_0010__WREST_R_0102_0014__FROM,R_0102_0016__PALM)
                & r_0102_0016__palm(R_0102_0016__PALM)
                & has_gen(R_0102_0016__PALM,R_0102_0001__SHE)
                & has_arg0(R_0102_0010__WREST_R_0102_0014__FROM,R_0102_0003__HIS) ) )
        & has_arg0(R_0102_0008__TRIED,R_0102_0003__HIS) )
     => ? [R_0102_0001__SHE,R_0102_0004__HAND,R_0102_0002__SLAPPED_R_0102_0005__AWAY] :
          ( r_0102_0001__She(R_0102_0001__SHE)
          & r_0102_0002__slapped_r_0102_0005__away(R_0102_0002__SLAPPED_R_0102_0005__AWAY)
          & has_arg1(R_0102_0002__SLAPPED_R_0102_0005__AWAY,R_0102_0004__HAND)
          & r_0102_0004__hand(R_0102_0004__HAND)
          & has_gen(R_0102_0004__HAND,R_0102_0003__HIS)
          & has_arg0(R_0102_0002__SLAPPED_R_0102_0005__AWAY,R_0102_0001__SHE) ) ) ).