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_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] 
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_4 At n15_a_beeton_1861_7 tea n15_a_beeton_1861_10 he n15_a_beeton_1861_13 again n15_a_beeton_1861_15 attends n15_a_beeton_1861_17 . n15_a_beeton_1861_1 IP-MAT n15_a_beeton_1861_2 PP-NIM n15_a_beeton_1861_1->n15_a_beeton_1861_2 n15_a_beeton_1861_8 NP-SBJ n15_a_beeton_1861_1->n15_a_beeton_1861_8 n15_a_beeton_1861_11 ADVP-NIM n15_a_beeton_1861_1->n15_a_beeton_1861_11 n15_a_beeton_1861_14 VBP;_I_ n15_a_beeton_1861_1->n15_a_beeton_1861_14 n15_a_beeton_1861_16 PUNC n15_a_beeton_1861_1->n15_a_beeton_1861_16 n15_a_beeton_1861_3 P-ROLE n15_a_beeton_1861_2->n15_a_beeton_1861_3 n15_a_beeton_1861_5 NP n15_a_beeton_1861_2->n15_a_beeton_1861_5 n15_a_beeton_1861_3->n15_a_beeton_1861_4 n15_a_beeton_1861_6 N n15_a_beeton_1861_5->n15_a_beeton_1861_6 n15_a_beeton_1861_6->n15_a_beeton_1861_7 n15_a_beeton_1861_9 PRO n15_a_beeton_1861_8->n15_a_beeton_1861_9 n15_a_beeton_1861_9->n15_a_beeton_1861_10 n15_a_beeton_1861_12 ADV n15_a_beeton_1861_11->n15_a_beeton_1861_12 n15_a_beeton_1861_12->n15_a_beeton_1861_13 n15_a_beeton_1861_14->n15_a_beeton_1861_15 n15_a_beeton_1861_16->n15_a_beeton_1861_17 
( (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))