34_a_alresford
I walked miles in new company.

%3 r_0034_0002__walked walked r_0034_0001__I I r_0034_0002__walked->r_0034_0001__I [arg0] r_0034_0003__miles miles r_0034_0002__walked->r_0034_0003__miles [clr] r_0034_0006__company company r_0034_0002__walked->r_0034_0006__company in [nim] r_0034_0005__new new r_0034_0006__company->r_0034_0005__new [attrib]
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).



%3 r_0034_0002__walked walked r_0034_0001__I I r_0034_0002__walked->r_0034_0001__I [arg0] r_0034_0003__miles miles r_0034_0002__walked->r_0034_0003__miles [clr] r_0034_0006__company company r_0034_0002__walked->r_0034_0006__company in [nim] r_0034_0005__new new r_0034_0006__company->r_0034_0005__new [attrib]
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) ) ).



n34_a_alresford n34_a_alresford_4 I n34_a_alresford_6 walked n34_a_alresford_9 miles n34_a_alresford_12 in n34_a_alresford_16 new n34_a_alresford_18 company n34_a_alresford_20 . n34_a_alresford_1 IP-MAT n34_a_alresford_2 NP-SBJ n34_a_alresford_1->n34_a_alresford_2 n34_a_alresford_5 VBD;_In/pr_ n34_a_alresford_1->n34_a_alresford_5 n34_a_alresford_7 NP-CLR n34_a_alresford_1->n34_a_alresford_7 n34_a_alresford_10 PP-NIM n34_a_alresford_1->n34_a_alresford_10 n34_a_alresford_19 PUNC n34_a_alresford_1->n34_a_alresford_19 n34_a_alresford_3 PRO n34_a_alresford_2->n34_a_alresford_3 n34_a_alresford_3->n34_a_alresford_4 n34_a_alresford_5->n34_a_alresford_6 n34_a_alresford_8 NS n34_a_alresford_7->n34_a_alresford_8 n34_a_alresford_8->n34_a_alresford_9 n34_a_alresford_11 P-ROLE n34_a_alresford_10->n34_a_alresford_11 n34_a_alresford_13 NP n34_a_alresford_10->n34_a_alresford_13 n34_a_alresford_11->n34_a_alresford_12 n34_a_alresford_14 ADJP n34_a_alresford_13->n34_a_alresford_14 n34_a_alresford_17 N n34_a_alresford_13->n34_a_alresford_17 n34_a_alresford_15 ADJ n34_a_alresford_14->n34_a_alresford_15 n34_a_alresford_15->n34_a_alresford_16 n34_a_alresford_17->n34_a_alresford_18 n34_a_alresford_19->n34_a_alresford_20
( (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))