25_a_loosechange
She dropped the coins on to the basin area, spreading them out into the soapy puddles of water that were lying there.
( (IP-MAT (NP-SBJ;{LAYLOR} (PRO She;{she}))
(VBD;_Tn_ dropped;{drop})
(NP-OB1;{COINS} (D the;{the})
(NS coins;{coin}))
(PP-NIM (P-ROLE on_to;{on_to})
(NP (D the;{the})
(N basin;{basin})
(N area;{area})))
(PUNC ,)
(PP-SCON (IP-PPL2 (VAG;_phr_Vn<=>p_ spreading;{spread[out]})
(NP-OB1;{COINS} (PRO them;{they}))
(RP out;{out})
(PP-NIM (P-ROLE into;{into})
(NP (D the;{the})
(ADJP (ADJ soapy;{soapy}))
(NS puddles;{puddle})
(PP (P-ROLE of;{of})
(NP (N water;{water})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(BED;_cat_Vg_ were;{be})
(IP-PPL-CAT (VAG;_Ip_ lying;{lie[there]})
(ADVP-CLR (ADV there;{there}))))))))))
(PUNC .))
(ID 25_a_loosechange))
arc(r_0025_0002__dropped,r_0025_0001__She,arg0).
arc(r_0025_0002__dropped,r_0025_0003__the_r_0025_0004__coins,arg1).
arc(r_0025_0002__dropped,r_0025_0006__the_r_0025_0007__basin_r_0025_0008__area,r_0025_0005__on_to__nim).
arc(r_0025_0010__spreading_r_0025_0012__out,r_0025_0001__She,arg0).
arc(r_0025_0010__spreading_r_0025_0012__out,r_0025_0003__the_r_0025_0004__coins,arg1).
arc(r_0025_0010__spreading_r_0025_0012__out,r_0025_0014__the_r_0025_0016__puddles,r_0025_0013__into__nim).
arc(r_0025_0014__the_r_0025_0016__puddles,r_0025_0015__soapy,attrib).
arc(r_0025_0014__the_r_0025_0016__puddles,r_0025_0018__water,r_0025_0017__of).
arc(r_0025_0020__were,r_0025_0021__lying_r_0025_0022__there,scope).
arc(r_0025_0021__lying_r_0025_0022__there,r_0025_0018__water,inv_arg0).
arc(z_0025_5002,r_0025_0002__dropped,scope).
arc(z_0025_5002,r_0025_0010__spreading_r_0025_0012__out,restriction).
fof(formula,axiom,
? [R_0025_0001__SHE,R_0025_0003__THE_R_0025_0004__COINS,R_0025_0006__THE_R_0025_0007__BASIN_R_0025_0008__AREA,R_0025_0002__DROPPED,R_0025_0015__SOAPY,R_0025_0020__WERE_R_0025_0021__LYING_R_0025_0022__THERE,R_0025_0018__WATER,R_0025_0014__THE_R_0025_0016__PUDDLES,R_0025_0010__SPREADING_R_0025_0012__OUT,Z_0025_5002] :
( r_0025_0001__She(R_0025_0001__SHE)
& r_0025_0003__the_r_0025_0004__coins(R_0025_0003__THE_R_0025_0004__COINS)
& r_0025_0006__the_r_0025_0007__basin_r_0025_0008__area(R_0025_0006__THE_R_0025_0007__BASIN_R_0025_0008__AREA)
& r_0025_0015__soapy(R_0025_0015__SOAPY)
& r_0025_0020__were_r_0025_0021__lying_r_0025_0022__there(R_0025_0020__WERE_R_0025_0021__LYING_R_0025_0022__THERE)
& z_0025_5002(Z_0025_5002)
& has_conj1(Z_0025_5002,R_0025_0010__SPREADING_R_0025_0012__OUT)
& r_0025_0010__spreading_r_0025_0012__out(R_0025_0010__SPREADING_R_0025_0012__OUT)
& has_r_0025_0013__into__nim(R_0025_0010__SPREADING_R_0025_0012__OUT,R_0025_0014__THE_R_0025_0016__PUDDLES)
& r_0025_0014__the_r_0025_0016__puddles(R_0025_0014__THE_R_0025_0016__PUDDLES)
& has_r_0025_0017__of(R_0025_0014__THE_R_0025_0016__PUDDLES,R_0025_0018__WATER)
& r_0025_0018__water(R_0025_0018__WATER)
& has_inv_arg0(R_0025_0018__WATER,R_0025_0020__WERE_R_0025_0021__LYING_R_0025_0022__THERE)
& has_attrib(R_0025_0014__THE_R_0025_0016__PUDDLES,R_0025_0015__SOAPY)
& has_arg1(R_0025_0010__SPREADING_R_0025_0012__OUT,R_0025_0003__THE_R_0025_0004__COINS)
& has_arg0(R_0025_0010__SPREADING_R_0025_0012__OUT,R_0025_0001__SHE)
& has_conj2(Z_0025_5002,R_0025_0002__DROPPED)
& r_0025_0002__dropped(R_0025_0002__DROPPED)
& has_r_0025_0005__on_to__nim(R_0025_0002__DROPPED,R_0025_0006__THE_R_0025_0007__BASIN_R_0025_0008__AREA)
& has_arg1(R_0025_0002__DROPPED,R_0025_0003__THE_R_0025_0004__COINS)
& has_arg0(R_0025_0002__DROPPED,R_0025_0001__SHE) ) ).