188_a_loosechange
Her nose was running with 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))
arc(r_0188_0002__nose,r_0188_0001__Her,gen).
arc(r_0188_0003__was,r_0188_0004__running_r_0188_0005__with,scope).
arc(r_0188_0004__running_r_0188_0005__with,r_0188_0002__nose,arg0).
arc(r_0188_0004__running_r_0188_0005__with,r_0188_0006__snot,arg1).
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_0005__WITH] :
( 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_0005__with(R_0188_0003__WAS_R_0188_0004__RUNNING_R_0188_0005__WITH)
& has_arg1(R_0188_0003__WAS_R_0188_0004__RUNNING_R_0188_0005__WITH,R_0188_0006__SNOT)
& has_arg0(R_0188_0003__WAS_R_0188_0004__RUNNING_R_0188_0005__WITH,R_0188_0002__NOSE)
& r_0188_0002__nose(R_0188_0002__NOSE)
& has_gen(R_0188_0002__NOSE,R_0188_0001__HER) ) ).