102_a_loosechange
She slapped his hand away when he tried to wrest all the coins from her palm.

%3 r_0102_0002__slapped_r_0102_0005__away slapped away r_0102_0001__She She r_0102_0002__slapped_r_0102_0005__away->r_0102_0001__She [arg0] r_0102_0004__hand hand r_0102_0002__slapped_r_0102_0005__away->r_0102_0004__hand [arg1] r_0102_0003__his his r_0102_0004__hand->r_0102_0003__his [gen] r_0102_0006__when when r_0102_0006__when->r_0102_0002__slapped_r_0102_0005__away [scope] r_0102_0008__tried tried r_0102_0006__when->r_0102_0008__tried [restriction] r_0102_0007__he he r_0102_0008__tried->r_0102_0007__he [arg0] r_0102_0011__all_quant all [quant] r_0102_0008__tried->r_0102_0011__all_quant [arg1] r_0102_0009__to_r_0102_0010__wrest to wrest r_0102_0011__all_quant->r_0102_0009__to_r_0102_0010__wrest [scope] r_0102_0012__the_r_0102_0013__coins the coins r_0102_0011__all_quant->r_0102_0012__the_r_0102_0013__coins [restriction] r_0102_0009__to_r_0102_0010__wrest->r_0102_0007__he [arg0] r_0102_0009__to_r_0102_0010__wrest->r_0102_0012__the_r_0102_0013__coins [arg1] r_0102_0016__palm palm r_0102_0009__to_r_0102_0010__wrest->r_0102_0016__palm from [clr] r_0102_0016__palm->r_0102_0001__She [gen]
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).



%3 r_0102_0016__palm palm r_0102_0001__She She r_0102_0016__palm->r_0102_0001__She [gen] r_0102_0011__all_quant all [quant] r_0102_0012__the_r_0102_0013__coins the coins r_0102_0011__all_quant->r_0102_0012__the_r_0102_0013__coins [restriction] r_0102_0009__to_r_0102_0010__wrest to wrest r_0102_0011__all_quant->r_0102_0009__to_r_0102_0010__wrest [scope] r_0102_0009__to_r_0102_0010__wrest->r_0102_0016__palm from [clr] r_0102_0009__to_r_0102_0010__wrest->r_0102_0012__the_r_0102_0013__coins [arg1] r_0102_0007__he he r_0102_0009__to_r_0102_0010__wrest->r_0102_0007__he [arg0] r_0102_0008__tried tried r_0102_0008__tried->r_0102_0011__all_quant [arg1] r_0102_0008__tried->r_0102_0007__he [arg0] r_0102_0006__when when r_0102_0006__when->r_0102_0008__tried [restriction] r_0102_0002__slapped_r_0102_0005__away slapped away r_0102_0006__when->r_0102_0002__slapped_r_0102_0005__away [scope] r_0102_0002__slapped_r_0102_0005__away->r_0102_0001__She [arg0] r_0102_0004__hand hand r_0102_0002__slapped_r_0102_0005__away->r_0102_0004__hand [arg1] r_0102_0003__his his r_0102_0004__hand->r_0102_0003__his [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) ) ) ).



n102_a_loosechange n102_a_loosechange__1_1_1_1 She n102_a_loosechange__1_2_1 slapped n102_a_loosechange__1_3_1_1_1 his n102_a_loosechange__1_3_2_1 hand n102_a_loosechange__1_4_1 away n102_a_loosechange__1_5_1_1 when n102_a_loosechange__1_5_2_1_1_1 he n102_a_loosechange__1_5_2_2_1 tried n102_a_loosechange__1_5_2_3_1_1 to n102_a_loosechange__1_5_2_3_2_1 wrest n102_a_loosechange__1_5_2_3_3_1_1 all n102_a_loosechange__1_5_2_3_3_2_1 the n102_a_loosechange__1_5_2_3_3_3_1 coins n102_a_loosechange__1_5_2_3_4_1_1 from n102_a_loosechange__1_5_2_3_4_2_1_1_1 her n102_a_loosechange__1_5_2_3_4_2_2_1 palm n102_a_loosechange__1_6_1 . n102_a_loosechange__1 IP-MAT n102_a_loosechange__1_1 NP-SBJ n102_a_loosechange__1->n102_a_loosechange__1_1 n102_a_loosechange__1_2 VBD;_phr_Vn<=>p_ n102_a_loosechange__1->n102_a_loosechange__1_2 n102_a_loosechange__1_3 NP-OB1 n102_a_loosechange__1->n102_a_loosechange__1_3 n102_a_loosechange__1_4 RP n102_a_loosechange__1->n102_a_loosechange__1_4 n102_a_loosechange__1_5 PP-SCON n102_a_loosechange__1->n102_a_loosechange__1_5 n102_a_loosechange__1_6 PUNC n102_a_loosechange__1->n102_a_loosechange__1_6 n102_a_loosechange__1_1_1 PRO n102_a_loosechange__1_1->n102_a_loosechange__1_1_1 n102_a_loosechange__1_1_1->n102_a_loosechange__1_1_1_1 n102_a_loosechange__1_2->n102_a_loosechange__1_2_1 n102_a_loosechange__1_3_1 NP-GEN n102_a_loosechange__1_3->n102_a_loosechange__1_3_1 n102_a_loosechange__1_3_2 N n102_a_loosechange__1_3->n102_a_loosechange__1_3_2 n102_a_loosechange__1_3_1_1 PRO;_genm_ n102_a_loosechange__1_3_1->n102_a_loosechange__1_3_1_1 n102_a_loosechange__1_3_1_1->n102_a_loosechange__1_3_1_1_1 n102_a_loosechange__1_3_2->n102_a_loosechange__1_3_2_1 n102_a_loosechange__1_4->n102_a_loosechange__1_4_1 n102_a_loosechange__1_5_1 P-CONN n102_a_loosechange__1_5->n102_a_loosechange__1_5_1 n102_a_loosechange__1_5_2 IP-ADV n102_a_loosechange__1_5->n102_a_loosechange__1_5_2 n102_a_loosechange__1_5_1->n102_a_loosechange__1_5_1_1 n102_a_loosechange__1_5_2_1 NP-SBJ n102_a_loosechange__1_5_2->n102_a_loosechange__1_5_2_1 n102_a_loosechange__1_5_2_2 VBD;_Tt_ n102_a_loosechange__1_5_2->n102_a_loosechange__1_5_2_2 n102_a_loosechange__1_5_2_3 IP-INF-OB1 n102_a_loosechange__1_5_2->n102_a_loosechange__1_5_2_3 n102_a_loosechange__1_5_2_1_1 PRO n102_a_loosechange__1_5_2_1->n102_a_loosechange__1_5_2_1_1 n102_a_loosechange__1_5_2_1_1->n102_a_loosechange__1_5_2_1_1_1 n102_a_loosechange__1_5_2_2->n102_a_loosechange__1_5_2_2_1 n102_a_loosechange__1_5_2_3_1 TO n102_a_loosechange__1_5_2_3->n102_a_loosechange__1_5_2_3_1 n102_a_loosechange__1_5_2_3_2 VB;_Tn.pr_ n102_a_loosechange__1_5_2_3->n102_a_loosechange__1_5_2_3_2 n102_a_loosechange__1_5_2_3_3 NP-OB1 n102_a_loosechange__1_5_2_3->n102_a_loosechange__1_5_2_3_3 n102_a_loosechange__1_5_2_3_4 PP-CLR n102_a_loosechange__1_5_2_3->n102_a_loosechange__1_5_2_3_4 n102_a_loosechange__1_5_2_3_1->n102_a_loosechange__1_5_2_3_1_1 n102_a_loosechange__1_5_2_3_2->n102_a_loosechange__1_5_2_3_2_1 n102_a_loosechange__1_5_2_3_3_1 Q;_nphd_ n102_a_loosechange__1_5_2_3_3->n102_a_loosechange__1_5_2_3_3_1 n102_a_loosechange__1_5_2_3_3_2 D n102_a_loosechange__1_5_2_3_3->n102_a_loosechange__1_5_2_3_3_2 n102_a_loosechange__1_5_2_3_3_3 NS n102_a_loosechange__1_5_2_3_3->n102_a_loosechange__1_5_2_3_3_3 n102_a_loosechange__1_5_2_3_3_1->n102_a_loosechange__1_5_2_3_3_1_1 n102_a_loosechange__1_5_2_3_3_2->n102_a_loosechange__1_5_2_3_3_2_1 n102_a_loosechange__1_5_2_3_3_3->n102_a_loosechange__1_5_2_3_3_3_1 n102_a_loosechange__1_5_2_3_4_1 P-ROLE n102_a_loosechange__1_5_2_3_4->n102_a_loosechange__1_5_2_3_4_1 n102_a_loosechange__1_5_2_3_4_2 NP n102_a_loosechange__1_5_2_3_4->n102_a_loosechange__1_5_2_3_4_2 n102_a_loosechange__1_5_2_3_4_1->n102_a_loosechange__1_5_2_3_4_1_1 n102_a_loosechange__1_5_2_3_4_2_1 NP-GEN n102_a_loosechange__1_5_2_3_4_2->n102_a_loosechange__1_5_2_3_4_2_1 n102_a_loosechange__1_5_2_3_4_2_2 N n102_a_loosechange__1_5_2_3_4_2->n102_a_loosechange__1_5_2_3_4_2_2 n102_a_loosechange__1_5_2_3_4_2_1_1 PRO;_genm_ n102_a_loosechange__1_5_2_3_4_2_1->n102_a_loosechange__1_5_2_3_4_2_1_1 n102_a_loosechange__1_5_2_3_4_2_1_1->n102_a_loosechange__1_5_2_3_4_2_1_1_1 n102_a_loosechange__1_5_2_3_4_2_2->n102_a_loosechange__1_5_2_3_4_2_2_1 n102_a_loosechange__1_6->n102_a_loosechange__1_6_1
( (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))