34_a_alresford
I walked miles in new company.
arc(r_0034_0002__walked, r_0034_0001__I, arg0).
arc(r_0034_0002__walked, r_0034_0003__miles, clr7).
arc(r_0034_0002__walked, r_0034_0006__company, r_0034_0004__in_nim13).
arc(r_0034_0006__company, r_0034_0005__new, attrib14).
fof(formula,axiom,
? [R_0034_0001__I,R_0034_0003__MILES,R_0034_0005__NEW,R_0034_0006__COMPANY,R_0034_0002__WALKED] :
( r_0034_0001__I(R_0034_0001__I)
& r_0034_0003__miles(R_0034_0003__MILES)
& r_0034_0005__new(R_0034_0005__NEW)
& r_0034_0002__walked(R_0034_0002__WALKED)
& has_r_0034_0004__in_nim13(R_0034_0002__WALKED,R_0034_0006__COMPANY)
& r_0034_0006__company(R_0034_0006__COMPANY)
& has_attrib14(R_0034_0006__COMPANY,R_0034_0005__NEW)
& has_clr7(R_0034_0002__WALKED,R_0034_0003__MILES)
& has_arg0(R_0034_0002__WALKED,R_0034_0001__I) ) ).
( (IP-MAT (NP-SBJ (PRO I;{I}))
(VBD;_In/pr_ walked;{walk})
(NP-CLR (NS miles;{mile}))
(PP-NIM (P-ROLE in;{in})
(NP (ADJP (ADJ new;{new}))
(N company;{company})))
(PUNC .))
(ID 34_a_alresford))