188_a_loosechange
Her nose was running with snot.
arc(r_0188_0002__nose, r_0188_0001__Her, gen).
arc(r_0188_0003__was, r_0188_0004__running, scope).
arc(r_0188_0004__running, r_0188_0002__nose, arg0).
arc(r_0188_0004__running, r_0188_0006__snot, r_0188_0005__with_clr16).
fof(formula,axiom,
? [R_0188_0001__HER,R_0188_0002__NOSE,R_0188_0006__SNOT,R_0188_0003__WAS_R_0188_0004__RUNNING] :
( r_0188_0001__Her(R_0188_0001__HER)
& r_0188_0006__snot(R_0188_0006__SNOT)
& r_0188_0003__was_r_0188_0004__running(R_0188_0003__WAS_R_0188_0004__RUNNING)
& has_r_0188_0005__with_clr16(R_0188_0003__WAS_R_0188_0004__RUNNING,R_0188_0006__SNOT)
& has_arg0(R_0188_0003__WAS_R_0188_0004__RUNNING,R_0188_0002__NOSE)
& r_0188_0002__nose(R_0188_0002__NOSE)
& has_gen(R_0188_0002__NOSE,R_0188_0001__HER) ) ).
( (IP-MAT (NP-SBJ (NP-GEN;{LAYLOR} (PRO;_genm_ Her;{her}))
(N nose;{nose}))
(BED;_cat_Vg_ was;{be})
(IP-PPL-CAT (VAG;_Ipr_ running;{run[with]})
(PP-CLR (P-ROLE with;{with})
(NP (N snot;{snot}))))
(PUNC .))
(ID 188_a_loosechange))