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_34_2_WALKED,R_34_1_I,R_34_3_MILES,R_34_6_COMPANY,R_34_5_NEW] :
( i(R_34_1_I)
& miles(R_34_3_MILES)
& new(R_34_5_NEW)
& walked(R_34_2_WALKED,R_34_1_I)
& clr7(R_34_2_WALKED,R_34_3_MILES)
& in_nim13(R_34_2_WALKED,R_34_6_COMPANY)
& company(R_34_6_COMPANY)
& attrib14(R_34_6_COMPANY,R_34_5_NEW) ) ).
( (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))