Context                Previous, Next                Top


15_a_beeton_1861
At tea he again attends.

%3 r_0015_0005__attends attends r_0015_0002__tea tea r_0015_0005__attends->r_0015_0002__tea At [nim] r_0015_0003__he he r_0015_0005__attends->r_0015_0003__he [arg0] r_0015_0004__again again r_0015_0005__attends->r_0015_0004__again [nim] 
arc(r_0015_0005__attends, r_0015_0002__tea, r_0015_0001__At_nim5).
arc(r_0015_0005__attends, r_0015_0003__he, arg0).
arc(r_0015_0005__attends, r_0015_0004__again, nim11).


%3 r_0015_0005__attends attends r_0015_0004__again again r_0015_0005__attends->r_0015_0004__again [nim] r_0015_0003__he he r_0015_0005__attends->r_0015_0003__he [arg0] r_0015_0002__tea tea r_0015_0005__attends->r_0015_0002__tea At [nim] 
fof(formula,axiom,
    ? [R_15_5_ATTENDS,R_15_3_HE,R_15_4_AGAIN,R_15_2_TEA] :
      ( he(R_15_3_HE)
      & again(R_15_4_AGAIN)
      & tea(R_15_2_TEA)
      & attends(R_15_5_ATTENDS,R_15_3_HE)
      & nim11(R_15_5_ATTENDS,R_15_4_AGAIN)
      & at_nim5(R_15_5_ATTENDS,R_15_2_TEA) ) ).


n15_a_beeton_1861 n15_a_beeton_1861__1_1_1_1 At n15_a_beeton_1861__1_1_2_1_1 tea n15_a_beeton_1861__1_2_1_1 he n15_a_beeton_1861__1_3_1_1 again n15_a_beeton_1861__1_4_1 attends n15_a_beeton_1861__1_5_1 . n15_a_beeton_1861__1 IP-MAT n15_a_beeton_1861__1_1 PP-NIM n15_a_beeton_1861__1->n15_a_beeton_1861__1_1 n15_a_beeton_1861__1_2 NP-SBJ n15_a_beeton_1861__1->n15_a_beeton_1861__1_2 n15_a_beeton_1861__1_3 ADVP-NIM n15_a_beeton_1861__1->n15_a_beeton_1861__1_3 n15_a_beeton_1861__1_4 VBP;_I_ n15_a_beeton_1861__1->n15_a_beeton_1861__1_4 n15_a_beeton_1861__1_5 PUNC n15_a_beeton_1861__1->n15_a_beeton_1861__1_5 n15_a_beeton_1861__1_1_1 P-ROLE n15_a_beeton_1861__1_1->n15_a_beeton_1861__1_1_1 n15_a_beeton_1861__1_1_2 NP n15_a_beeton_1861__1_1->n15_a_beeton_1861__1_1_2 n15_a_beeton_1861__1_1_1->n15_a_beeton_1861__1_1_1_1 n15_a_beeton_1861__1_1_2_1 N n15_a_beeton_1861__1_1_2->n15_a_beeton_1861__1_1_2_1 n15_a_beeton_1861__1_1_2_1->n15_a_beeton_1861__1_1_2_1_1 n15_a_beeton_1861__1_2_1 PRO n15_a_beeton_1861__1_2->n15_a_beeton_1861__1_2_1 n15_a_beeton_1861__1_2_1->n15_a_beeton_1861__1_2_1_1 n15_a_beeton_1861__1_3_1 ADV n15_a_beeton_1861__1_3->n15_a_beeton_1861__1_3_1 n15_a_beeton_1861__1_3_1->n15_a_beeton_1861__1_3_1_1 n15_a_beeton_1861__1_4->n15_a_beeton_1861__1_4_1 n15_a_beeton_1861__1_5->n15_a_beeton_1861__1_5_1 
( (IP-MAT (PP-NIM (P-ROLE At;{at})
                  (NP (N tea;{tea})))
          (NP-SBJ;{BUTLER} (PRO he;{he}))
          (ADVP-NIM (ADV again;{again}))
          (VBP;_I_ attends;{attend})
          (PUNC .))
  (ID 15_a_beeton_1861;2162-1))