Context                Previous, Next                Top


14_a_beeton_1861
At tea he again attends.

n14_a_beeton_1861 n14_a_beeton_1861__1_1_1_1 At n14_a_beeton_1861__1_1_2_1_1 tea n14_a_beeton_1861__1_2_1_1 he n14_a_beeton_1861__1_3_1_1 again n14_a_beeton_1861__1_4_1 attends n14_a_beeton_1861__1_5_1 . n14_a_beeton_1861__1 IP-MAT n14_a_beeton_1861__1_1 PP-NIM n14_a_beeton_1861__1->n14_a_beeton_1861__1_1 n14_a_beeton_1861__1_2 NP-SBJ n14_a_beeton_1861__1->n14_a_beeton_1861__1_2 n14_a_beeton_1861__1_3 ADVP-NIM n14_a_beeton_1861__1->n14_a_beeton_1861__1_3 n14_a_beeton_1861__1_4 VBP;_I_ n14_a_beeton_1861__1->n14_a_beeton_1861__1_4 n14_a_beeton_1861__1_5 PUNC n14_a_beeton_1861__1->n14_a_beeton_1861__1_5 n14_a_beeton_1861__1_1_1 P-ROLE n14_a_beeton_1861__1_1->n14_a_beeton_1861__1_1_1 n14_a_beeton_1861__1_1_2 NP n14_a_beeton_1861__1_1->n14_a_beeton_1861__1_1_2 n14_a_beeton_1861__1_1_1->n14_a_beeton_1861__1_1_1_1 n14_a_beeton_1861__1_1_2_1 N n14_a_beeton_1861__1_1_2->n14_a_beeton_1861__1_1_2_1 n14_a_beeton_1861__1_1_2_1->n14_a_beeton_1861__1_1_2_1_1 n14_a_beeton_1861__1_2_1 PRO n14_a_beeton_1861__1_2->n14_a_beeton_1861__1_2_1 n14_a_beeton_1861__1_2_1->n14_a_beeton_1861__1_2_1_1 n14_a_beeton_1861__1_3_1 ADV n14_a_beeton_1861__1_3->n14_a_beeton_1861__1_3_1 n14_a_beeton_1861__1_3_1->n14_a_beeton_1861__1_3_1_1 n14_a_beeton_1861__1_4->n14_a_beeton_1861__1_4_1 n14_a_beeton_1861__1_5->n14_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 14_a_beeton_1861;2162-1))


%3 r_0014_0005__attends attends r_0014_0004__again again r_0014_0005__attends->r_0014_0004__again [nim] r_0014_0003__he he r_0014_0005__attends->r_0014_0003__he [arg0] r_0014_0002__tea tea r_0014_0005__attends->r_0014_0002__tea At [nim] 
arc(r_0014_0005__attends,r_0014_0002__tea,r_0014_0001__At__nim).
arc(r_0014_0005__attends,r_0014_0003__he,arg0).
arc(r_0014_0005__attends,r_0014_0004__again,nim).


%3 r_0014_0005__attends attends r_0014_0002__tea tea r_0014_0005__attends->r_0014_0002__tea At [nim] r_0014_0003__he he r_0014_0005__attends->r_0014_0003__he [arg0] r_0014_0004__again again r_0014_0005__attends->r_0014_0004__again [nim] 
fof(formula,axiom,
    ? [R_0014_0002__TEA,R_0014_0003__HE,R_0014_0004__AGAIN,R_0014_0005__ATTENDS] :
      ( r_0014_0002__tea(R_0014_0002__TEA)
      & r_0014_0003__he(R_0014_0003__HE)
      & r_0014_0004__again(R_0014_0004__AGAIN)
      & r_0014_0005__attends(R_0014_0005__ATTENDS)
      & has_nim(R_0014_0005__ATTENDS,R_0014_0004__AGAIN)
      & has_arg0(R_0014_0005__ATTENDS,R_0014_0003__HE)
      & has_r_0014_0001__At__nim(R_0014_0005__ATTENDS,R_0014_0002__TEA) ) ).