154_a_loosechange
She smelt of mildewed washing.
( (IP-MAT (NP-SBJ;{LAYLOR} (PRO She;{she}))
(VBD;__ smelt;{smelt})
(PP-NIM (P-ROLE of;{of})
(NP (ADJP (ADJ mildewed;{mildewed}))
(N washing;{washing})))
(PUNC .))
(ID 154_a_loosechange))
arc(r_0154_0002__smelt,r_0154_0001__She,arg0).
arc(r_0154_0002__smelt,r_0154_0005__washing,r_0154_0003__of__nim).
arc(r_0154_0005__washing,r_0154_0004__mildewed,attrib).
fof(formula,axiom,
? [R_0154_0001__SHE,R_0154_0004__MILDEWED,R_0154_0005__WASHING,R_0154_0002__SMELT] :
( r_0154_0001__She(R_0154_0001__SHE)
& r_0154_0004__mildewed(R_0154_0004__MILDEWED)
& r_0154_0002__smelt(R_0154_0002__SMELT)
& has_r_0154_0003__of__nim(R_0154_0002__SMELT,R_0154_0005__WASHING)
& r_0154_0005__washing(R_0154_0005__WASHING)
& has_attrib(R_0154_0005__WASHING,R_0154_0004__MILDEWED)
& has_arg0(R_0154_0002__SMELT,R_0154_0001__SHE) ) ).