Context                Previous, Next                Top


87_a_wilde_1_1888
They never hit me, of course;

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))


%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] 
arc(r_0087_0003__hit,r_0087_0001__They,arg0).
arc(r_0087_0003__hit,r_0087_0002__never,nim).
arc(r_0087_0003__hit,r_0087_0004__me,arg1).
arc(r_0087_0003__hit,r_0087_0006__of_course,nim).


%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] 
fof(formula,axiom,
    ? [R_0087_0001__THEY,R_0087_0002__NEVER,R_0087_0004__ME,R_0087_0006__OF_COURSE,R_0087_0003__HIT] :
      ( r_0087_0001__They(R_0087_0001__THEY)
      & r_0087_0002__never(R_0087_0002__NEVER)
      & r_0087_0004__me(R_0087_0004__ME)
      & r_0087_0006__of_course(R_0087_0006__OF_COURSE)
      & r_0087_0003__hit(R_0087_0003__HIT)
      & has_nim(R_0087_0003__HIT,R_0087_0006__OF_COURSE)
      & has_arg1(R_0087_0003__HIT,R_0087_0004__ME)
      & has_nim(R_0087_0003__HIT,R_0087_0002__NEVER)
      & has_arg0(R_0087_0003__HIT,R_0087_0001__THEY) ) ).