Context                Previous, Next                Top


128_a_loosechange
Now all the money they had could be lifted in the palm of a hand to a stranger in a toilet.

%3 r_0128_0002__all_quant all [quant] r_0128_0003__the_r_0128_0004__money the money r_0128_0002__all_quant->r_0128_0003__the_r_0128_0004__money [restriction] r_0128_0007__could could r_0128_0002__all_quant->r_0128_0007__could [scope] r_0128_0001__Now Now r_0128_0007__could->r_0128_0001__Now [nim] r_0128_0008__be be r_0128_0007__could->r_0128_0008__be [scope] r_0128_0006__had had r_0128_0006__had->r_0128_0003__the_r_0128_0004__money [arg1] r_0128_0005__they they r_0128_0006__had->r_0128_0005__they [arg0] r_0128_0009__lifted lifted r_0128_0008__be->r_0128_0009__lifted [scope] r_0128_0009__lifted->r_0128_0003__the_r_0128_0004__money [arg1] r_0128_0011__the_r_0128_0012__palm the palm r_0128_0009__lifted->r_0128_0011__the_r_0128_0012__palm in [nim] r_0128_0017__a_r_0128_0018__stranger a stranger r_0128_0009__lifted->r_0128_0017__a_r_0128_0018__stranger to [nim] z_000_128_a_loosechange_26 r_0128_0009__lifted->z_000_128_a_loosechange_26 [arg0] r_0128_0014__a_r_0128_0015__hand a hand r_0128_0011__the_r_0128_0012__palm->r_0128_0014__a_r_0128_0015__hand of r_0128_0020__a_r_0128_0021__toilet a toilet r_0128_0017__a_r_0128_0018__stranger->r_0128_0020__a_r_0128_0021__toilet in 
arc(r_0128_0002__all_quant, r_0128_0003__the_r_0128_0004__money, restriction).
arc(r_0128_0002__all_quant, r_0128_0007__could, scope).
arc(r_0128_0006__had, r_0128_0003__the_r_0128_0004__money, arg1).
arc(r_0128_0006__had, r_0128_0005__they, arg0).
arc(r_0128_0007__could, r_0128_0001__Now, nim2).
arc(r_0128_0007__could, r_0128_0008__be, scope).
arc(r_0128_0008__be, r_0128_0009__lifted, scope).
arc(r_0128_0009__lifted, r_0128_0003__the_r_0128_0004__money, arg1).
arc(r_0128_0009__lifted, r_0128_0011__the_r_0128_0012__palm, r_0128_0010__in_nim33).
arc(r_0128_0009__lifted, r_0128_0017__a_r_0128_0018__stranger, r_0128_0016__to_nim49).
arc(r_0128_0009__lifted, z_000_128_a_loosechange_26, arg0).
arc(r_0128_0011__the_r_0128_0012__palm, r_0128_0014__a_r_0128_0015__hand, r_0128_0013__of).
arc(r_0128_0017__a_r_0128_0018__stranger, r_0128_0020__a_r_0128_0021__toilet, r_0128_0019__in).


%3 r_0128_0002__all_quant all [quant] r_0128_0006__had had r_0128_0002__all_quant->r_0128_0006__had [restriction] r_0128_0007__could_r_0128_0008__be_r_0128_0009__lifted could be lifted r_0128_0002__all_quant->r_0128_0007__could_r_0128_0008__be_r_0128_0009__lifted [scope] r_0128_0003__the_r_0128_0004__money the money r_0128_0006__had->r_0128_0003__the_r_0128_0004__money [arg1] r_0128_0005__they they r_0128_0006__had->r_0128_0005__they [arg0] r_0128_0007__could_r_0128_0008__be_r_0128_0009__lifted->r_0128_0003__the_r_0128_0004__money [arg1] r_0128_0001__Now Now r_0128_0007__could_r_0128_0008__be_r_0128_0009__lifted->r_0128_0001__Now [nim] r_0128_0011__the_r_0128_0012__palm the palm r_0128_0007__could_r_0128_0008__be_r_0128_0009__lifted->r_0128_0011__the_r_0128_0012__palm in [nim] r_0128_0017__a_r_0128_0018__stranger a stranger r_0128_0007__could_r_0128_0008__be_r_0128_0009__lifted->r_0128_0017__a_r_0128_0018__stranger to [nim] z_000_128_a_loosechange_26 r_0128_0007__could_r_0128_0008__be_r_0128_0009__lifted->z_000_128_a_loosechange_26 [arg0] r_0128_0014__a_r_0128_0015__hand a hand r_0128_0011__the_r_0128_0012__palm->r_0128_0014__a_r_0128_0015__hand of r_0128_0020__a_r_0128_0021__toilet a toilet r_0128_0017__a_r_0128_0018__stranger->r_0128_0020__a_r_0128_0021__toilet in 
fof(formula,axiom,
    ! [R_128_6_HAD,R_128_5_THEY,R_128_3_THE_MONEY] :
      ( ( they(R_128_5_THEY)
        & the_money(R_128_3_THE_MONEY)
        & had(R_128_6_HAD,R_128_5_THEY,R_128_3_THE_MONEY) )
     => ? [R_128_7_COULD_BE_LIFTED,Z_128_A_LOOSECHANGE_26,R_128_1_NOW,R_128_11_THE_PALM,R_128_14_A_HAND,R_128_17_A_STRANGER,R_128_20_A_TOILET] :
          ( now(R_128_1_NOW)
          & a_hand(R_128_14_A_HAND)
          & a_toilet(R_128_20_A_TOILET)
          & could_be_lifted(R_128_7_COULD_BE_LIFTED,Z_128_A_LOOSECHANGE_26,R_128_3_THE_MONEY)
          & nim2(R_128_7_COULD_BE_LIFTED,R_128_1_NOW)
          & in_nim33(R_128_7_COULD_BE_LIFTED,R_128_11_THE_PALM)
          & the_palm(R_128_11_THE_PALM)
          & of(R_128_11_THE_PALM,R_128_14_A_HAND)
          & to_nim49(R_128_7_COULD_BE_LIFTED,R_128_17_A_STRANGER)
          & a_stranger(R_128_17_A_STRANGER)
          & in(R_128_17_A_STRANGER,R_128_20_A_TOILET) ) ) ).


n128_a_loosechange n128_a_loosechange_4 Now n128_a_loosechange_7 all n128_a_loosechange_9 the n128_a_loosechange_11 money n128_a_loosechange_14 *T* n128_a_loosechange_17 they n128_a_loosechange_19 had n128_a_loosechange_21 could n128_a_loosechange_24 be n128_a_loosechange_27 * n128_a_loosechange_29 lifted n128_a_loosechange_32 in n128_a_loosechange_35 the n128_a_loosechange_37 palm n128_a_loosechange_40 of n128_a_loosechange_43 a n128_a_loosechange_45 hand n128_a_loosechange_48 to n128_a_loosechange_51 a n128_a_loosechange_53 stranger n128_a_loosechange_56 in n128_a_loosechange_59 a n128_a_loosechange_61 toilet n128_a_loosechange_63 . n128_a_loosechange_1 IP-MAT n128_a_loosechange_2 ADVP-NIM n128_a_loosechange_1->n128_a_loosechange_2 n128_a_loosechange_5 NP-SBJ n128_a_loosechange_1->n128_a_loosechange_5 n128_a_loosechange_20 MD;_cat_Vi_ n128_a_loosechange_1->n128_a_loosechange_20 n128_a_loosechange_22 IP-INF-CAT n128_a_loosechange_1->n128_a_loosechange_22 n128_a_loosechange_62 PUNC n128_a_loosechange_1->n128_a_loosechange_62 n128_a_loosechange_3 ADV n128_a_loosechange_2->n128_a_loosechange_3 n128_a_loosechange_3->n128_a_loosechange_4 n128_a_loosechange_6 Q;_nphd_ n128_a_loosechange_5->n128_a_loosechange_6 n128_a_loosechange_8 D n128_a_loosechange_5->n128_a_loosechange_8 n128_a_loosechange_10 N n128_a_loosechange_5->n128_a_loosechange_10 n128_a_loosechange_12 IP-REL n128_a_loosechange_5->n128_a_loosechange_12 n128_a_loosechange_6->n128_a_loosechange_7 n128_a_loosechange_8->n128_a_loosechange_9 n128_a_loosechange_10->n128_a_loosechange_11 n128_a_loosechange_13 NP-OB1 n128_a_loosechange_12->n128_a_loosechange_13 n128_a_loosechange_15 NP-SBJ n128_a_loosechange_12->n128_a_loosechange_15 n128_a_loosechange_18 HVD;_Tn_ n128_a_loosechange_12->n128_a_loosechange_18 n128_a_loosechange_13->n128_a_loosechange_14 n128_a_loosechange_16 PRO n128_a_loosechange_15->n128_a_loosechange_16 n128_a_loosechange_16->n128_a_loosechange_17 n128_a_loosechange_18->n128_a_loosechange_19 n128_a_loosechange_20->n128_a_loosechange_21 n128_a_loosechange_23 BE;_cat_VePASS_ n128_a_loosechange_22->n128_a_loosechange_23 n128_a_loosechange_25 IP-PPL-CAT n128_a_loosechange_22->n128_a_loosechange_25 n128_a_loosechange_23->n128_a_loosechange_24 n128_a_loosechange_26 NP-LGS n128_a_loosechange_25->n128_a_loosechange_26 n128_a_loosechange_28 VVN;__ n128_a_loosechange_25->n128_a_loosechange_28 n128_a_loosechange_30 PP-NIM n128_a_loosechange_25->n128_a_loosechange_30 n128_a_loosechange_46 PP-NIM n128_a_loosechange_25->n128_a_loosechange_46 n128_a_loosechange_26->n128_a_loosechange_27 n128_a_loosechange_28->n128_a_loosechange_29 n128_a_loosechange_31 P-ROLE n128_a_loosechange_30->n128_a_loosechange_31 n128_a_loosechange_33 NP n128_a_loosechange_30->n128_a_loosechange_33 n128_a_loosechange_31->n128_a_loosechange_32 n128_a_loosechange_34 D n128_a_loosechange_33->n128_a_loosechange_34 n128_a_loosechange_36 N n128_a_loosechange_33->n128_a_loosechange_36 n128_a_loosechange_38 PP n128_a_loosechange_33->n128_a_loosechange_38 n128_a_loosechange_34->n128_a_loosechange_35 n128_a_loosechange_36->n128_a_loosechange_37 n128_a_loosechange_39 P-ROLE n128_a_loosechange_38->n128_a_loosechange_39 n128_a_loosechange_41 NP n128_a_loosechange_38->n128_a_loosechange_41 n128_a_loosechange_39->n128_a_loosechange_40 n128_a_loosechange_42 D n128_a_loosechange_41->n128_a_loosechange_42 n128_a_loosechange_44 N n128_a_loosechange_41->n128_a_loosechange_44 n128_a_loosechange_42->n128_a_loosechange_43 n128_a_loosechange_44->n128_a_loosechange_45 n128_a_loosechange_47 P-ROLE n128_a_loosechange_46->n128_a_loosechange_47 n128_a_loosechange_49 NP n128_a_loosechange_46->n128_a_loosechange_49 n128_a_loosechange_47->n128_a_loosechange_48 n128_a_loosechange_50 D n128_a_loosechange_49->n128_a_loosechange_50 n128_a_loosechange_52 N n128_a_loosechange_49->n128_a_loosechange_52 n128_a_loosechange_54 PP n128_a_loosechange_49->n128_a_loosechange_54 n128_a_loosechange_50->n128_a_loosechange_51 n128_a_loosechange_52->n128_a_loosechange_53 n128_a_loosechange_55 P-ROLE n128_a_loosechange_54->n128_a_loosechange_55 n128_a_loosechange_57 NP n128_a_loosechange_54->n128_a_loosechange_57 n128_a_loosechange_55->n128_a_loosechange_56 n128_a_loosechange_58 D n128_a_loosechange_57->n128_a_loosechange_58 n128_a_loosechange_60 N n128_a_loosechange_57->n128_a_loosechange_60 n128_a_loosechange_58->n128_a_loosechange_59 n128_a_loosechange_60->n128_a_loosechange_61 n128_a_loosechange_62->n128_a_loosechange_63 
( (IP-MAT (ADVP-NIM (ADV Now;{now}))
          (NP-SBJ (Q;_nphd_ all;{all})
                  (D the;{the})
                  (N money;{money})
                  (IP-REL (NP-OB1 *T*)
                          (NP-SBJ (PRO they;{they}))
                          (HVD;_Tn_ had;{have})))
          (MD;_cat_Vi_ could;{can})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;__ lifted;{lift})
                                  (PP-NIM (P-ROLE in;{in})
                                          (NP (D the;{the})
                                              (N palm;{palm})
                                              (PP (P-ROLE of;{of})
                                                  (NP (D a;{a})
                                                      (N hand;{hand})))))
                                  (PP-NIM (P-ROLE to;{to})
                                          (NP (D a;{a})
                                              (N stranger;{stranger})
                                              (PP (P-ROLE in;{in})
                                                  (NP (D a;{a})
                                                      (N toilet;{toilet})))))))
          (PUNC .))
  (ID 128_a_loosechange))