102_a_loosechange
She slapped his hand away when he tried to wrest all the coins from her palm.
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_102_8_TRIED,R_102_7_HE] :
( ( he(R_102_7_HE)
& ! [R_102_12_THE_COINS] :
( the_coins(R_102_12_THE_COINS)
=> ? [R_102_9_TO_WREST,R_102_16_PALM,R_102_1_SHE] :
( she(R_102_1_SHE)
& to_wrest(R_102_9_TO_WREST,R_102_7_HE,R_102_12_THE_COINS)
& from_clr39(R_102_9_TO_WREST,R_102_16_PALM)
& palm(R_102_16_PALM)
& gen(R_102_16_PALM,R_102_1_SHE) ) )
& arg1(ARG1)
& tried(R_102_8_TRIED,R_102_7_HE) )
=> ? [R_102_2_SLAPPED_AWAY,R_102_1_SHE,R_102_4_HAND,R_102_3_HIS] :
( she(R_102_1_SHE)
& his(R_102_3_HIS)
& slapped_away(R_102_2_SLAPPED_AWAY,R_102_1_SHE,R_102_4_HAND)
& hand(R_102_4_HAND)
& gen(R_102_4_HAND,R_102_3_HIS) ) ) ).
( (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))