194_a_loosechange
I walked to the counter where serviettes were lying in a neat pile.
arc(r_0194_0002__walked, r_0194_0001__I, arg0).
arc(r_0194_0002__walked, r_0194_0004__the_r_0194_0005__counter, r_0194_0003__to_clr10).
arc(r_0194_0008__were, r_0194_0009__lying, scope).
arc(r_0194_0009__lying, r_0194_0004__the_r_0194_0005__counter, nim25).
arc(r_0194_0009__lying, r_0194_0007__serviettes, arg0).
arc(r_0194_0009__lying, r_0194_0011__a_r_0194_0013__pile, r_0194_0010__in_nim32).
arc(r_0194_0011__a_r_0194_0013__pile, r_0194_0012__neat, attrib35).
fof(formula,axiom,
? [R_0194_0001__I,R_0194_0004__THE_R_0194_0005__COUNTER,R_0194_0002__WALKED,R_0194_0007__SERVIETTES,R_0194_0012__NEAT,R_0194_0011__A_R_0194_0013__PILE,R_0194_0008__WERE_R_0194_0009__LYING] :
( r_0194_0001__I(R_0194_0001__I)
& r_0194_0004__the_r_0194_0005__counter(R_0194_0004__THE_R_0194_0005__COUNTER)
& r_0194_0007__serviettes(R_0194_0007__SERVIETTES)
& r_0194_0012__neat(R_0194_0012__NEAT)
& r_0194_0008__were_r_0194_0009__lying(R_0194_0008__WERE_R_0194_0009__LYING)
& has_r_0194_0010__in_nim32(R_0194_0008__WERE_R_0194_0009__LYING,R_0194_0011__A_R_0194_0013__PILE)
& r_0194_0011__a_r_0194_0013__pile(R_0194_0011__A_R_0194_0013__PILE)
& has_attrib35(R_0194_0011__A_R_0194_0013__PILE,R_0194_0012__NEAT)
& has_arg0(R_0194_0008__WERE_R_0194_0009__LYING,R_0194_0007__SERVIETTES)
& has_nim25(R_0194_0008__WERE_R_0194_0009__LYING,R_0194_0004__THE_R_0194_0005__COUNTER)
& r_0194_0002__walked(R_0194_0002__WALKED)
& has_r_0194_0003__to_clr10(R_0194_0002__WALKED,R_0194_0004__THE_R_0194_0005__COUNTER)
& has_arg0(R_0194_0002__WALKED,R_0194_0001__I) ) ).
( (IP-MAT (NP-SBJ (PRO I;{I}))
(VBD;_Ipr_ walked;{walk[to]})
(PP-CLR (P-ROLE to;{to})
(NP (D the;{the})
(N counter;{counter})
(IP-REL (ADVP-137 (RADV where;{where}))
(NP-SBJ (NS serviettes;{serviette}))
(BED;_cat_Vg_ were;{be})
(IP-PPL-CAT (ADVP-NIM *ICH*-137)
(VAG;__ lying;{lie})
(PP-NIM (P-ROLE in;{in})
(NP (D a;{a})
(ADJP (ADJ neat;{neat}))
(N pile;{pile})))))))
(PUNC .))
(ID 194_a_loosechange))