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_188_3_WAS_RUNNING,R_188_2_NOSE,R_188_1_HER,R_188_6_SNOT] :
( her(R_188_1_HER)
& snot(R_188_6_SNOT)
& was_running(R_188_3_WAS_RUNNING,R_188_2_NOSE)
& nose(R_188_2_NOSE)
& gen(R_188_2_NOSE,R_188_1_HER)
& with_clr16(R_188_3_WAS_RUNNING,R_188_6_SNOT) ) ).
( (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))