Context                Previous, Next                Top


87_a_wilde_1_1888
They never hit me, of course;

%3 r_0087_0003__hit hit r_0087_0001__They They r_0087_0003__hit->r_0087_0001__They [arg0] r_0087_0002__never never r_0087_0003__hit->r_0087_0002__never [nim] r_0087_0004__me me r_0087_0003__hit->r_0087_0004__me [arg1] r_0087_0006__of_course of course r_0087_0003__hit->r_0087_0006__of_course [nim] 
arc(r_0087_0003__hit, r_0087_0001__They, arg0).
arc(r_0087_0003__hit, r_0087_0002__never, nim5).
arc(r_0087_0003__hit, r_0087_0004__me, arg1).
arc(r_0087_0003__hit, r_0087_0006__of_course, nim15).


%3 r_0087_0003__hit hit r_0087_0006__of_course of course r_0087_0003__hit->r_0087_0006__of_course [nim] r_0087_0004__me me r_0087_0003__hit->r_0087_0004__me [arg1] r_0087_0002__never never r_0087_0003__hit->r_0087_0002__never [nim] r_0087_0001__They They r_0087_0003__hit->r_0087_0001__They [arg0] 
fof(formula,axiom,
    ? [R_87_3_HIT,R_87_1_THEY,R_87_4_ME,R_87_6_OF_COURSE,R_87_2_NEVER] :
      ( they(R_87_1_THEY)
      & me(R_87_4_ME)
      & of_course(R_87_6_OF_COURSE)
      & never(R_87_2_NEVER)
      & hit(R_87_3_HIT,R_87_1_THEY,R_87_4_ME)
      & nim15(R_87_3_HIT,R_87_6_OF_COURSE)
      & nim5(R_87_3_HIT,R_87_2_NEVER) ) ).


n87_a_wilde_1_1888 n87_a_wilde_1_1888__1_1_1_1 They n87_a_wilde_1_1888__1_2_1_1 never n87_a_wilde_1_1888__1_3_1 hit n87_a_wilde_1_1888__1_4_1_1 me n87_a_wilde_1_1888__1_5_1 , n87_a_wilde_1_1888__1_6_1_1 of_course n87_a_wilde_1_1888__1_7_1 ; n87_a_wilde_1_1888__1 IP-MAT n87_a_wilde_1_1888__1_1 NP-SBJ n87_a_wilde_1_1888__1->n87_a_wilde_1_1888__1_1 n87_a_wilde_1_1888__1_2 ADVP-NIM n87_a_wilde_1_1888__1->n87_a_wilde_1_1888__1_2 n87_a_wilde_1_1888__1_3 VBD;_Tn_ n87_a_wilde_1_1888__1->n87_a_wilde_1_1888__1_3 n87_a_wilde_1_1888__1_4 NP-OB1 n87_a_wilde_1_1888__1->n87_a_wilde_1_1888__1_4 n87_a_wilde_1_1888__1_5 PUNC n87_a_wilde_1_1888__1->n87_a_wilde_1_1888__1_5 n87_a_wilde_1_1888__1_6 ADVP-NIM n87_a_wilde_1_1888__1->n87_a_wilde_1_1888__1_6 n87_a_wilde_1_1888__1_7 PUNC n87_a_wilde_1_1888__1->n87_a_wilde_1_1888__1_7 n87_a_wilde_1_1888__1_1_1 PRO n87_a_wilde_1_1888__1_1->n87_a_wilde_1_1888__1_1_1 n87_a_wilde_1_1888__1_1_1->n87_a_wilde_1_1888__1_1_1_1 n87_a_wilde_1_1888__1_2_1 ADV n87_a_wilde_1_1888__1_2->n87_a_wilde_1_1888__1_2_1 n87_a_wilde_1_1888__1_2_1->n87_a_wilde_1_1888__1_2_1_1 n87_a_wilde_1_1888__1_3->n87_a_wilde_1_1888__1_3_1 n87_a_wilde_1_1888__1_4_1 PRO n87_a_wilde_1_1888__1_4->n87_a_wilde_1_1888__1_4_1 n87_a_wilde_1_1888__1_4_1->n87_a_wilde_1_1888__1_4_1_1 n87_a_wilde_1_1888__1_5->n87_a_wilde_1_1888__1_5_1 n87_a_wilde_1_1888__1_6_1 ADV n87_a_wilde_1_1888__1_6->n87_a_wilde_1_1888__1_6_1 n87_a_wilde_1_1888__1_6_1->n87_a_wilde_1_1888__1_6_1_1 n87_a_wilde_1_1888__1_7->n87_a_wilde_1_1888__1_7_1 
( (IP-MAT (NP-SBJ;{RUDE_BOYS} (PRO They;{they}))
          (ADVP-NIM (ADV never;{never}))
          (VBD;_Tn_ hit;{hit})
          (NP-OB1;{SWALLOW} (PRO me;{I}))
          (PUNC ,)
          (ADVP-NIM (ADV of_course;{of_course}))
          (PUNC ;))
  (ID 87_a_wilde_1_1888))