Context                Previous, Next                Top


185_a_hedgehog
He says:

n185_a_hedgehog n185_a_hedgehog__1_1_1_1 He n185_a_hedgehog__1_2_1 says n185_a_hedgehog__1_3_1 : n185_a_hedgehog__1 IP-MAT n185_a_hedgehog__1_1 NP-SBJ n185_a_hedgehog__1->n185_a_hedgehog__1_1 n185_a_hedgehog__1_2 VBP;_Tr_ n185_a_hedgehog__1->n185_a_hedgehog__1_2 n185_a_hedgehog__1_3 PUNC n185_a_hedgehog__1->n185_a_hedgehog__1_3 n185_a_hedgehog__1_1_1 PRO n185_a_hedgehog__1_1->n185_a_hedgehog__1_1_1 n185_a_hedgehog__1_1_1->n185_a_hedgehog__1_1_1_1 n185_a_hedgehog__1_2->n185_a_hedgehog__1_2_1 n185_a_hedgehog__1_3->n185_a_hedgehog__1_3_1 
( (IP-MAT (NP-SBJ;{HARDY} (PRO He;{he}))
          (VBP;_Tr_ says;{say})
          (PUNC :))
  (ID 185_a_hedgehog;speaker=Stewart))


%3 r_0185_0002__says says r_0185_0001__He He r_0185_0002__says->r_0185_0001__He [arg0] 
arc(r_0185_0002__says,r_0185_0001__He,arg0).


%3 r_0185_0002__says says r_0185_0001__He He r_0185_0002__says->r_0185_0001__He [arg0] 
fof(formula,axiom,
    ? [R_0185_0001__HE,R_0185_0002__SAYS] :
      ( r_0185_0001__He(R_0185_0001__HE)
      & r_0185_0002__says(R_0185_0002__SAYS)
      & has_arg0(R_0185_0002__SAYS,R_0185_0001__HE) ) ).