22_a_loosechange
Some of it tinkled on to the floor.
( (IP-MAT (NP-SBJ (D;_nphd_ Some;{some})
(PP (P-ROLE of;{of})
(NP;{LOOSE_CHANGE} (PRO it;{it}))))
(VBD;_phr_Vp.pr_ tinkled;{tinkle[on,to]})
(RP on;{on})
(PP-CLR (P-ROLE to;{to})
(NP (D the;{the})
(N floor;{floor})))
(PUNC .))
(ID 22_a_loosechange))
arc(r_0022_0001__Some,r_0022_0003__it,r_0022_0002__of).
arc(r_0022_0004__tinkled_r_0022_0005__on,r_0022_0001__Some,arg0).
arc(r_0022_0004__tinkled_r_0022_0005__on,r_0022_0007__the_r_0022_0008__floor,r_0022_0006__to__clr).
fof(formula,axiom,
? [R_0022_0003__IT,R_0022_0001__SOME,R_0022_0007__THE_R_0022_0008__FLOOR,R_0022_0004__TINKLED_R_0022_0005__ON] :
( r_0022_0003__it(R_0022_0003__IT)
& r_0022_0007__the_r_0022_0008__floor(R_0022_0007__THE_R_0022_0008__FLOOR)
& r_0022_0004__tinkled_r_0022_0005__on(R_0022_0004__TINKLED_R_0022_0005__ON)
& has_r_0022_0006__to__clr(R_0022_0004__TINKLED_R_0022_0005__ON,R_0022_0007__THE_R_0022_0008__FLOOR)
& has_arg0(R_0022_0004__TINKLED_R_0022_0005__ON,R_0022_0001__SOME)
& r_0022_0001__Some(R_0022_0001__SOME)
& has_r_0022_0002__of(R_0022_0001__SOME,R_0022_0003__IT) ) ).