Context                Previous, Next                Top


38_a_lob_a01
He was at Chequers last week-end.

%3 r_0038_0002__was was r_0038_0001__He He r_0038_0002__was->r_0038_0001__He [arg0] r_0038_0004__Chequers Chequers r_0038_0002__was->r_0038_0004__Chequers at [clr] r_0038_0006__week__hyphen__end week-end r_0038_0002__was->r_0038_0006__week__hyphen__end [nim] r_0038_0005__last last r_0038_0006__week__hyphen__end->r_0038_0005__last [qual] 
arc(r_0038_0002__was, r_0038_0001__He, arg0).
arc(r_0038_0002__was, r_0038_0004__Chequers, r_0038_0003__at_clr10).
arc(r_0038_0002__was, r_0038_0006__week__hyphen__end, nim13).
arc(r_0038_0006__week__hyphen__end, r_0038_0005__last, qual14).


%3 r_0038_0006__week__hyphen__end week-end r_0038_0005__last last r_0038_0006__week__hyphen__end->r_0038_0005__last [qual] r_0038_0002__was was r_0038_0002__was->r_0038_0006__week__hyphen__end [nim] r_0038_0004__Chequers Chequers r_0038_0002__was->r_0038_0004__Chequers at [clr] r_0038_0001__He He r_0038_0002__was->r_0038_0001__He [arg0] 
fof(formula,axiom,
    ? [R_0038_0001__HE,R_0038_0004__CHEQUERS,R_0038_0005__LAST,R_0038_0006__WEEK__HYPHEN__END,R_0038_0002__WAS] :
      ( r_0038_0001__He(R_0038_0001__HE)
      & r_0038_0004__Chequers(R_0038_0004__CHEQUERS)
      & r_0038_0005__last(R_0038_0005__LAST)
      & r_0038_0002__was(R_0038_0002__WAS)
      & has_nim13(R_0038_0002__WAS,R_0038_0006__WEEK__HYPHEN__END)
      & r_0038_0006__week__hyphen__end(R_0038_0006__WEEK__HYPHEN__END)
      & has_qual14(R_0038_0006__WEEK__HYPHEN__END,R_0038_0005__LAST)
      & has_r_0038_0003__at_clr10(R_0038_0002__WAS,R_0038_0004__CHEQUERS)
      & has_arg0(R_0038_0002__WAS,R_0038_0001__HE) ) ).


n38_a_lob_a01 n38_a_lob_a01__1_1_1_1 He n38_a_lob_a01__1_2_1 was n38_a_lob_a01__1_3_1_1 at n38_a_lob_a01__1_3_2_1_1 Chequers n38_a_lob_a01__1_4_1_1_1 last n38_a_lob_a01__1_4_2_1 week-end n38_a_lob_a01__1_5_1 . n38_a_lob_a01__1 IP-MAT n38_a_lob_a01__1_1 NP-SBJ n38_a_lob_a01__1->n38_a_lob_a01__1_1 n38_a_lob_a01__1_2 BED;_Ipr_ n38_a_lob_a01__1->n38_a_lob_a01__1_2 n38_a_lob_a01__1_3 PP-CLR n38_a_lob_a01__1->n38_a_lob_a01__1_3 n38_a_lob_a01__1_4 NP-NIM n38_a_lob_a01__1->n38_a_lob_a01__1_4 n38_a_lob_a01__1_5 PUNC n38_a_lob_a01__1->n38_a_lob_a01__1_5 n38_a_lob_a01__1_1_1 PRO n38_a_lob_a01__1_1->n38_a_lob_a01__1_1_1 n38_a_lob_a01__1_1_1->n38_a_lob_a01__1_1_1_1 n38_a_lob_a01__1_2->n38_a_lob_a01__1_2_1 n38_a_lob_a01__1_3_1 P-ROLE n38_a_lob_a01__1_3->n38_a_lob_a01__1_3_1 n38_a_lob_a01__1_3_2 NP n38_a_lob_a01__1_3->n38_a_lob_a01__1_3_2 n38_a_lob_a01__1_3_1->n38_a_lob_a01__1_3_1_1 n38_a_lob_a01__1_3_2_1 NPR n38_a_lob_a01__1_3_2->n38_a_lob_a01__1_3_2_1 n38_a_lob_a01__1_3_2_1->n38_a_lob_a01__1_3_2_1_1 n38_a_lob_a01__1_4_1 ADVP n38_a_lob_a01__1_4->n38_a_lob_a01__1_4_1 n38_a_lob_a01__1_4_2 N n38_a_lob_a01__1_4->n38_a_lob_a01__1_4_2 n38_a_lob_a01__1_4_1_1 ADV n38_a_lob_a01__1_4_1->n38_a_lob_a01__1_4_1_1 n38_a_lob_a01__1_4_1_1->n38_a_lob_a01__1_4_1_1_1 n38_a_lob_a01__1_4_2->n38_a_lob_a01__1_4_2_1 n38_a_lob_a01__1_5->n38_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 38_a_lob_a01))