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_0007__he, arg0).
arc(r_0102_0008__tried, r_0102_0011__all_quant, arg1).
arc(r_0102_0009__to_r_0102_0010__wrest, r_0102_0007__he, arg0).
arc(r_0102_0009__to_r_0102_0010__wrest, r_0102_0012__the_r_0102_0013__coins, arg1).
arc(r_0102_0009__to_r_0102_0010__wrest, r_0102_0016__palm, r_0102_0014__from_clr39).
arc(r_0102_0011__all_quant, r_0102_0009__to_r_0102_0010__wrest, scope).
arc(r_0102_0011__all_quant, r_0102_0012__the_r_0102_0013__coins, restriction).
arc(r_0102_0016__palm, r_0102_0001__She, gen).

fof(formula,axiom,
    ! [R_0102_0008__TRIED,R_0102_0007__HE] :
      ( ( r_0102_0007__he(R_0102_0007__HE)
        & r_0102_0008__tried(R_0102_0008__TRIED)
        & ! [R_0102_0012__THE_R_0102_0013__COINS] :
            ( r_0102_0012__the_r_0102_0013__coins(R_0102_0012__THE_R_0102_0013__COINS)
           => ? [R_0102_0001__SHE,R_0102_0016__PALM,R_0102_0009__TO_R_0102_0010__WREST] :
                ( r_0102_0001__She(R_0102_0001__SHE)
                & r_0102_0009__to_r_0102_0010__wrest(R_0102_0009__TO_R_0102_0010__WREST)
                & has_r_0102_0014__from_clr39(R_0102_0009__TO_R_0102_0010__WREST,R_0102_0016__PALM)
                & r_0102_0016__palm(R_0102_0016__PALM)
                & has_gen(R_0102_0016__PALM,R_0102_0001__SHE)
                & has_arg1(R_0102_0009__TO_R_0102_0010__WREST,R_0102_0012__THE_R_0102_0013__COINS)
                & has_arg0(R_0102_0009__TO_R_0102_0010__WREST,R_0102_0007__HE) ) )
        & has_arg0(R_0102_0008__TRIED,R_0102_0007__HE) )
     => ? [R_0102_0001__SHE,R_0102_0003__HIS,R_0102_0004__HAND,R_0102_0002__SLAPPED_R_0102_0005__AWAY] :
          ( r_0102_0001__She(R_0102_0001__SHE)
          & r_0102_0003__his(R_0102_0003__HIS)
          & 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) ) ) ).

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