Context                Previous, Next                Top


40_a_lob_a01
He was at Chequers last week-end.

n40_a_lob_a01 n40_a_lob_a01__1_1_1_1 He n40_a_lob_a01__1_2_1 was n40_a_lob_a01__1_3_1_1 at n40_a_lob_a01__1_3_2_1_1 Chequers n40_a_lob_a01__1_4_1_1_1 last n40_a_lob_a01__1_4_2_1 week-end n40_a_lob_a01__1_5_1 . n40_a_lob_a01__1 IP-MAT n40_a_lob_a01__1_1 NP-SBJ n40_a_lob_a01__1->n40_a_lob_a01__1_1 n40_a_lob_a01__1_2 BED;_Ipr_ n40_a_lob_a01__1->n40_a_lob_a01__1_2 n40_a_lob_a01__1_3 PP-CLR n40_a_lob_a01__1->n40_a_lob_a01__1_3 n40_a_lob_a01__1_4 NP-NIM n40_a_lob_a01__1->n40_a_lob_a01__1_4 n40_a_lob_a01__1_5 PUNC n40_a_lob_a01__1->n40_a_lob_a01__1_5 n40_a_lob_a01__1_1_1 PRO n40_a_lob_a01__1_1->n40_a_lob_a01__1_1_1 n40_a_lob_a01__1_1_1->n40_a_lob_a01__1_1_1_1 n40_a_lob_a01__1_2->n40_a_lob_a01__1_2_1 n40_a_lob_a01__1_3_1 P-ROLE n40_a_lob_a01__1_3->n40_a_lob_a01__1_3_1 n40_a_lob_a01__1_3_2 NP n40_a_lob_a01__1_3->n40_a_lob_a01__1_3_2 n40_a_lob_a01__1_3_1->n40_a_lob_a01__1_3_1_1 n40_a_lob_a01__1_3_2_1 NPR n40_a_lob_a01__1_3_2->n40_a_lob_a01__1_3_2_1 n40_a_lob_a01__1_3_2_1->n40_a_lob_a01__1_3_2_1_1 n40_a_lob_a01__1_4_1 ADVP n40_a_lob_a01__1_4->n40_a_lob_a01__1_4_1 n40_a_lob_a01__1_4_2 N n40_a_lob_a01__1_4->n40_a_lob_a01__1_4_2 n40_a_lob_a01__1_4_1_1 ADV n40_a_lob_a01__1_4_1->n40_a_lob_a01__1_4_1_1 n40_a_lob_a01__1_4_1_1->n40_a_lob_a01__1_4_1_1_1 n40_a_lob_a01__1_4_2->n40_a_lob_a01__1_4_2_1 n40_a_lob_a01__1_5->n40_a_lob_a01__1_5_1 
( (IP-MAT (NP-SBJ;{MACMILLAN} (PRO He;{he}))
          (BED;_Ipr_ was;{be[at]})
          (PP-CLR (P-ROLE at;{at})
                  (NP (NPR Chequers;{Chequers})))
          (NP-NIM (ADVP (ADV last;{last}))
                  (N week_<hyphen>_end;{week_end}))
          (PUNC .))
  (ID 40_a_lob_a01))


%3 r_0040_0006__week__hyphen__end week-end r_0040_0005__last last r_0040_0006__week__hyphen__end->r_0040_0005__last [qual] r_0040_0002__was_r_0040_0003__at was at r_0040_0002__was_r_0040_0003__at->r_0040_0006__week__hyphen__end [nim] r_0040_0004__Chequers Chequers r_0040_0002__was_r_0040_0003__at->r_0040_0004__Chequers [arg1] r_0040_0001__He He r_0040_0002__was_r_0040_0003__at->r_0040_0001__He [arg0] 
arc(r_0040_0002__was_r_0040_0003__at,r_0040_0001__He,arg0).
arc(r_0040_0002__was_r_0040_0003__at,r_0040_0004__Chequers,arg1).
arc(r_0040_0002__was_r_0040_0003__at,r_0040_0006__week__hyphen__end,nim).
arc(r_0040_0006__week__hyphen__end,r_0040_0005__last,qual).


%3 r_0040_0002__was_r_0040_0003__at was at r_0040_0001__He He r_0040_0002__was_r_0040_0003__at->r_0040_0001__He [arg0] r_0040_0004__Chequers Chequers r_0040_0002__was_r_0040_0003__at->r_0040_0004__Chequers [arg1] r_0040_0006__week__hyphen__end week-end r_0040_0002__was_r_0040_0003__at->r_0040_0006__week__hyphen__end [nim] r_0040_0005__last last r_0040_0006__week__hyphen__end->r_0040_0005__last [qual] 
fof(formula,axiom,
    ? [R_0040_0001__HE,R_0040_0004__CHEQUERS,R_0040_0005__LAST,R_0040_0006__WEEK__HYPHEN__END,R_0040_0002__WAS_R_0040_0003__AT] :
      ( r_0040_0001__He(R_0040_0001__HE)
      & r_0040_0004__Chequers(R_0040_0004__CHEQUERS)
      & r_0040_0005__last(R_0040_0005__LAST)
      & r_0040_0002__was_r_0040_0003__at(R_0040_0002__WAS_R_0040_0003__AT)
      & has_nim(R_0040_0002__WAS_R_0040_0003__AT,R_0040_0006__WEEK__HYPHEN__END)
      & r_0040_0006__week__hyphen__end(R_0040_0006__WEEK__HYPHEN__END)
      & has_qual(R_0040_0006__WEEK__HYPHEN__END,R_0040_0005__LAST)
      & has_arg1(R_0040_0002__WAS_R_0040_0003__AT,R_0040_0004__CHEQUERS)
      & has_arg0(R_0040_0002__WAS_R_0040_0003__AT,R_0040_0001__HE) ) ).