Context                Previous, Next                Top


34_a_alresford
I walked miles in new company.

n34_a_alresford n34_a_alresford__1_1_1_1 I n34_a_alresford__1_2_1 walked n34_a_alresford__1_3_1_1 miles n34_a_alresford__1_4_1_1 in n34_a_alresford__1_4_2_1_1_1 new n34_a_alresford__1_4_2_2_1 company n34_a_alresford__1_5_1 . n34_a_alresford__1 IP-MAT n34_a_alresford__1_1 NP-SBJ n34_a_alresford__1->n34_a_alresford__1_1 n34_a_alresford__1_2 VBD;_In/pr_ n34_a_alresford__1->n34_a_alresford__1_2 n34_a_alresford__1_3 NP-CLR n34_a_alresford__1->n34_a_alresford__1_3 n34_a_alresford__1_4 PP-NIM n34_a_alresford__1->n34_a_alresford__1_4 n34_a_alresford__1_5 PUNC n34_a_alresford__1->n34_a_alresford__1_5 n34_a_alresford__1_1_1 PRO n34_a_alresford__1_1->n34_a_alresford__1_1_1 n34_a_alresford__1_1_1->n34_a_alresford__1_1_1_1 n34_a_alresford__1_2->n34_a_alresford__1_2_1 n34_a_alresford__1_3_1 NS n34_a_alresford__1_3->n34_a_alresford__1_3_1 n34_a_alresford__1_3_1->n34_a_alresford__1_3_1_1 n34_a_alresford__1_4_1 P-ROLE n34_a_alresford__1_4->n34_a_alresford__1_4_1 n34_a_alresford__1_4_2 NP n34_a_alresford__1_4->n34_a_alresford__1_4_2 n34_a_alresford__1_4_1->n34_a_alresford__1_4_1_1 n34_a_alresford__1_4_2_1 ADJP n34_a_alresford__1_4_2->n34_a_alresford__1_4_2_1 n34_a_alresford__1_4_2_2 N n34_a_alresford__1_4_2->n34_a_alresford__1_4_2_2 n34_a_alresford__1_4_2_1_1 ADJ n34_a_alresford__1_4_2_1->n34_a_alresford__1_4_2_1_1 n34_a_alresford__1_4_2_1_1->n34_a_alresford__1_4_2_1_1_1 n34_a_alresford__1_4_2_2->n34_a_alresford__1_4_2_2_1 n34_a_alresford__1_5->n34_a_alresford__1_5_1 
( (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))


%3 r_0034_0006__company company r_0034_0005__new new r_0034_0006__company->r_0034_0005__new [attrib] r_0034_0002__walked walked r_0034_0002__walked->r_0034_0006__company in [nim] r_0034_0003__miles miles r_0034_0002__walked->r_0034_0003__miles [clr] r_0034_0001__I I r_0034_0002__walked->r_0034_0001__I [arg0] 
arc(r_0034_0002__walked,r_0034_0001__I,arg0).
arc(r_0034_0002__walked,r_0034_0003__miles,clr).
arc(r_0034_0002__walked,r_0034_0006__company,r_0034_0004__in__nim).
arc(r_0034_0006__company,r_0034_0005__new,attrib).


%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_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__nim(R_0034_0002__WALKED,R_0034_0006__COMPANY)
      & r_0034_0006__company(R_0034_0006__COMPANY)
      & has_attrib(R_0034_0006__COMPANY,R_0034_0005__NEW)
      & has_clr(R_0034_0002__WALKED,R_0034_0003__MILES)
      & has_arg0(R_0034_0002__WALKED,R_0034_0001__I) ) ).