128_a_loosechange
Now all the money they had could be lifted in the palm of a hand to a stranger in a toilet.
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).
fof(formula,axiom,
! [R_0128_0003__THE_R_0128_0004__MONEY,R_0128_0005__THEY,R_0128_0006__HAD] :
( ( r_0128_0003__the_r_0128_0004__money(R_0128_0003__THE_R_0128_0004__MONEY)
& r_0128_0005__they(R_0128_0005__THEY)
& r_0128_0006__had(R_0128_0006__HAD)
& has_arg0(R_0128_0006__HAD,R_0128_0005__THEY)
& has_arg1(R_0128_0006__HAD,R_0128_0003__THE_R_0128_0004__MONEY) )
=> ? [R_0128_0001__NOW,R_0128_0014__A_R_0128_0015__HAND,R_0128_0011__THE_R_0128_0012__PALM,R_0128_0020__A_R_0128_0021__TOILET,R_0128_0017__A_R_0128_0018__STRANGER,Z_000_128_A_LOOSECHANGE_26,R_0128_0007__COULD_R_0128_0008__BE_R_0128_0009__LIFTED] :
( r_0128_0001__Now(R_0128_0001__NOW)
& r_0128_0014__a_r_0128_0015__hand(R_0128_0014__A_R_0128_0015__HAND)
& r_0128_0020__a_r_0128_0021__toilet(R_0128_0020__A_R_0128_0021__TOILET)
& z_000_128_a_loosechange_26(Z_000_128_A_LOOSECHANGE_26)
& r_0128_0007__could_r_0128_0008__be_r_0128_0009__lifted(R_0128_0007__COULD_R_0128_0008__BE_R_0128_0009__LIFTED)
& has_arg0(R_0128_0007__COULD_R_0128_0008__BE_R_0128_0009__LIFTED,Z_000_128_A_LOOSECHANGE_26)
& has_r_0128_0016__to_nim49(R_0128_0007__COULD_R_0128_0008__BE_R_0128_0009__LIFTED,R_0128_0017__A_R_0128_0018__STRANGER)
& r_0128_0017__a_r_0128_0018__stranger(R_0128_0017__A_R_0128_0018__STRANGER)
& has_r_0128_0019__in(R_0128_0017__A_R_0128_0018__STRANGER,R_0128_0020__A_R_0128_0021__TOILET)
& has_r_0128_0010__in_nim33(R_0128_0007__COULD_R_0128_0008__BE_R_0128_0009__LIFTED,R_0128_0011__THE_R_0128_0012__PALM)
& r_0128_0011__the_r_0128_0012__palm(R_0128_0011__THE_R_0128_0012__PALM)
& has_r_0128_0013__of(R_0128_0011__THE_R_0128_0012__PALM,R_0128_0014__A_R_0128_0015__HAND)
& has_arg1(R_0128_0007__COULD_R_0128_0008__BE_R_0128_0009__LIFTED,R_0128_0003__THE_R_0128_0004__MONEY)
& has_nim2(R_0128_0007__COULD_R_0128_0008__BE_R_0128_0009__LIFTED,R_0128_0001__NOW) ) ) ).
( (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))