128_a_loosechange
Now all the money they had could be lifted in the palm of a hand to a stranger in a toilet.
( (IP-MAT (ADVP-NIM (ADV Now;{now}))
(NP-SBJ (Q;_nphd_ all;{all})
(NLYR (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))
arc(r_0128_0002__all__quant,r_0128_0007__could,scope).
arc(r_0128_0002__all__quant,z_0128_5006,restriction).
arc(r_0128_0006__had,r_0128_0003__the_r_0128_0004__money,inv_arg1).
arc(r_0128_0006__had,r_0128_0005__they,arg0).
arc(r_0128_0007__could,r_0128_0001__Now,nim).
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_0011__the_r_0128_0012__palm,r_0128_0010__in__nim).
arc(r_0128_0009__lifted,r_0128_0017__a_r_0128_0018__stranger,r_0128_0016__to__nim).
arc(r_0128_0009__lifted,z_0128_5006,arg1).
arc(r_0128_0009__lifted,z_0128_5013___star_,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).
arc(z_0128_5006,r_0128_0003__the_r_0128_0004__money,nim).
fof(formula,axiom,
! [Z_0128_5006,R_0128_0005__THEY,R_0128_0006__HAD,R_0128_0003__THE_R_0128_0004__MONEY] :
( ( r_0128_0005__they(R_0128_0005__THEY)
& z_0128_5006(Z_0128_5006)
& has_nim(Z_0128_5006,R_0128_0003__THE_R_0128_0004__MONEY)
& r_0128_0003__the_r_0128_0004__money(R_0128_0003__THE_R_0128_0004__MONEY)
& has_inv_arg1(R_0128_0003__THE_R_0128_0004__MONEY,R_0128_0006__HAD)
& r_0128_0006__had(R_0128_0006__HAD)
& has_arg0(R_0128_0006__HAD,R_0128_0005__THEY) )
=> ? [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_0128_5013___STAR_,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_0128_5013___star_(Z_0128_5013___STAR_)
& 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_0128_5013___STAR_)
& has_arg1(R_0128_0007__COULD_R_0128_0008__BE_R_0128_0009__LIFTED,Z_0128_5006)
& has_r_0128_0016__to__nim(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__nim(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_nim(R_0128_0007__COULD_R_0128_0008__BE_R_0128_0009__LIFTED,R_0128_0001__NOW) ) ) ).