Context                Previous, Next                Top


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_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] 
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_4 She n102_a_loosechange_6 slapped n102_a_loosechange_10 his n102_a_loosechange_12 hand n102_a_loosechange_14 away n102_a_loosechange_17 when n102_a_loosechange_21 he n102_a_loosechange_23 tried n102_a_loosechange_26 to n102_a_loosechange_28 wrest n102_a_loosechange_31 all n102_a_loosechange_33 the n102_a_loosechange_35 coins n102_a_loosechange_38 from n102_a_loosechange_42 her n102_a_loosechange_44 palm n102_a_loosechange_46 . n102_a_loosechange_1 IP-MAT n102_a_loosechange_2 NP-SBJ n102_a_loosechange_1->n102_a_loosechange_2 n102_a_loosechange_5 VBD;_phr_Vn<=>p_ n102_a_loosechange_1->n102_a_loosechange_5 n102_a_loosechange_7 NP-OB1 n102_a_loosechange_1->n102_a_loosechange_7 n102_a_loosechange_13 RP n102_a_loosechange_1->n102_a_loosechange_13 n102_a_loosechange_15 PP-SCON n102_a_loosechange_1->n102_a_loosechange_15 n102_a_loosechange_45 PUNC n102_a_loosechange_1->n102_a_loosechange_45 n102_a_loosechange_3 PRO n102_a_loosechange_2->n102_a_loosechange_3 n102_a_loosechange_3->n102_a_loosechange_4 n102_a_loosechange_5->n102_a_loosechange_6 n102_a_loosechange_8 NP-GEN n102_a_loosechange_7->n102_a_loosechange_8 n102_a_loosechange_11 N n102_a_loosechange_7->n102_a_loosechange_11 n102_a_loosechange_9 PRO;_genm_ n102_a_loosechange_8->n102_a_loosechange_9 n102_a_loosechange_9->n102_a_loosechange_10 n102_a_loosechange_11->n102_a_loosechange_12 n102_a_loosechange_13->n102_a_loosechange_14 n102_a_loosechange_16 P-CONN n102_a_loosechange_15->n102_a_loosechange_16 n102_a_loosechange_18 IP-ADV n102_a_loosechange_15->n102_a_loosechange_18 n102_a_loosechange_16->n102_a_loosechange_17 n102_a_loosechange_19 NP-SBJ n102_a_loosechange_18->n102_a_loosechange_19 n102_a_loosechange_22 VBD;_Tt_ n102_a_loosechange_18->n102_a_loosechange_22 n102_a_loosechange_24 IP-INF-OB1 n102_a_loosechange_18->n102_a_loosechange_24 n102_a_loosechange_20 PRO n102_a_loosechange_19->n102_a_loosechange_20 n102_a_loosechange_20->n102_a_loosechange_21 n102_a_loosechange_22->n102_a_loosechange_23 n102_a_loosechange_25 TO n102_a_loosechange_24->n102_a_loosechange_25 n102_a_loosechange_27 VB;_Tn.pr_ n102_a_loosechange_24->n102_a_loosechange_27 n102_a_loosechange_29 NP-OB1 n102_a_loosechange_24->n102_a_loosechange_29 n102_a_loosechange_36 PP-CLR n102_a_loosechange_24->n102_a_loosechange_36 n102_a_loosechange_25->n102_a_loosechange_26 n102_a_loosechange_27->n102_a_loosechange_28 n102_a_loosechange_30 Q;_nphd_ n102_a_loosechange_29->n102_a_loosechange_30 n102_a_loosechange_32 D n102_a_loosechange_29->n102_a_loosechange_32 n102_a_loosechange_34 NS n102_a_loosechange_29->n102_a_loosechange_34 n102_a_loosechange_30->n102_a_loosechange_31 n102_a_loosechange_32->n102_a_loosechange_33 n102_a_loosechange_34->n102_a_loosechange_35 n102_a_loosechange_37 P-ROLE n102_a_loosechange_36->n102_a_loosechange_37 n102_a_loosechange_39 NP n102_a_loosechange_36->n102_a_loosechange_39 n102_a_loosechange_37->n102_a_loosechange_38 n102_a_loosechange_40 NP-GEN n102_a_loosechange_39->n102_a_loosechange_40 n102_a_loosechange_43 N n102_a_loosechange_39->n102_a_loosechange_43 n102_a_loosechange_41 PRO;_genm_ n102_a_loosechange_40->n102_a_loosechange_41 n102_a_loosechange_41->n102_a_loosechange_42 n102_a_loosechange_43->n102_a_loosechange_44 n102_a_loosechange_45->n102_a_loosechange_46 
( (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))