Context                Previous, Next                Top


107_a_hedgehog
The fox knows many things, but the hedgehog knows one big thing.

%3 r_0107_0003__knows knows r_0107_0001__The_r_0107_0002__fox The fox r_0107_0003__knows->r_0107_0001__The_r_0107_0002__fox [arg0] r_0107_0005__things things r_0107_0003__knows->r_0107_0005__things [arg1] r_0107_0004__many many r_0107_0005__things->r_0107_0004__many [attrib] r_0107_0007__but but r_0107_0007__but->r_0107_0003__knows [conj1] r_0107_0010__knows knows r_0107_0007__but->r_0107_0010__knows [conj2] r_0107_0008__the_r_0107_0009__hedgehog the hedgehog r_0107_0010__knows->r_0107_0008__the_r_0107_0009__hedgehog [arg0] r_0107_0011__one_r_0107_0013__thing one thing r_0107_0010__knows->r_0107_0011__one_r_0107_0013__thing [arg1] r_0107_0012__big big r_0107_0011__one_r_0107_0013__thing->r_0107_0012__big [attrib] 
arc(r_0107_0003__knows, r_0107_0001__The_r_0107_0002__fox, arg0).
arc(r_0107_0003__knows, r_0107_0005__things, arg1).
arc(r_0107_0005__things, r_0107_0004__many, attrib12).
arc(r_0107_0007__but, r_0107_0003__knows, conj1).
arc(r_0107_0007__but, r_0107_0010__knows, conj2).
arc(r_0107_0010__knows, r_0107_0008__the_r_0107_0009__hedgehog, arg0).
arc(r_0107_0010__knows, r_0107_0011__one_r_0107_0013__thing, arg1).
arc(r_0107_0011__one_r_0107_0013__thing, r_0107_0012__big, attrib33).


%3 r_0107_0011__one_r_0107_0013__thing one thing r_0107_0012__big big r_0107_0011__one_r_0107_0013__thing->r_0107_0012__big [attrib] r_0107_0010__knows knows r_0107_0010__knows->r_0107_0011__one_r_0107_0013__thing [arg1] r_0107_0008__the_r_0107_0009__hedgehog the hedgehog r_0107_0010__knows->r_0107_0008__the_r_0107_0009__hedgehog [arg0] r_0107_0007__but but r_0107_0007__but->r_0107_0010__knows [conj2] r_0107_0003__knows knows r_0107_0007__but->r_0107_0003__knows [conj1] r_0107_0005__things things r_0107_0003__knows->r_0107_0005__things [arg1] r_0107_0001__The_r_0107_0002__fox The fox r_0107_0003__knows->r_0107_0001__The_r_0107_0002__fox [arg0] r_0107_0004__many many r_0107_0005__things->r_0107_0004__many [attrib] 
fof(formula,axiom,
    ? [R_0107_0001__THE_R_0107_0002__FOX,R_0107_0004__MANY,R_0107_0005__THINGS,R_0107_0003__KNOWS,R_0107_0008__THE_R_0107_0009__HEDGEHOG,R_0107_0012__BIG,R_0107_0011__ONE_R_0107_0013__THING,R_0107_0010__KNOWS,R_0107_0007__BUT] :
      ( r_0107_0001__The_r_0107_0002__fox(R_0107_0001__THE_R_0107_0002__FOX)
      & r_0107_0004__many(R_0107_0004__MANY)
      & r_0107_0008__the_r_0107_0009__hedgehog(R_0107_0008__THE_R_0107_0009__HEDGEHOG)
      & r_0107_0012__big(R_0107_0012__BIG)
      & r_0107_0007__but(R_0107_0007__BUT)
      & has_conj2(R_0107_0007__BUT,R_0107_0010__KNOWS)
      & r_0107_0010__knows(R_0107_0010__KNOWS)
      & has_arg1(R_0107_0010__KNOWS,R_0107_0011__ONE_R_0107_0013__THING)
      & r_0107_0011__one_r_0107_0013__thing(R_0107_0011__ONE_R_0107_0013__THING)
      & has_attrib33(R_0107_0011__ONE_R_0107_0013__THING,R_0107_0012__BIG)
      & has_arg0(R_0107_0010__KNOWS,R_0107_0008__THE_R_0107_0009__HEDGEHOG)
      & has_conj1(R_0107_0007__BUT,R_0107_0003__KNOWS)
      & r_0107_0003__knows(R_0107_0003__KNOWS)
      & has_arg1(R_0107_0003__KNOWS,R_0107_0005__THINGS)
      & r_0107_0005__things(R_0107_0005__THINGS)
      & has_attrib12(R_0107_0005__THINGS,R_0107_0004__MANY)
      & has_arg0(R_0107_0003__KNOWS,R_0107_0001__THE_R_0107_0002__FOX) ) ).


n107_a_hedgehog n107_a_hedgehog__1_1_1_1_1_1 The n107_a_hedgehog__1_1_1_1_2_1 fox n107_a_hedgehog__1_1_1_2_1 knows n107_a_hedgehog__1_1_1_3_1_1_1 many n107_a_hedgehog__1_1_1_3_2_1 things n107_a_hedgehog__1_1_2_1 , n107_a_hedgehog__1_1_3_1_1 but n107_a_hedgehog__1_1_3_2_1_1_1 the n107_a_hedgehog__1_1_3_2_1_2_1 hedgehog n107_a_hedgehog__1_1_3_2_2_1 knows n107_a_hedgehog__1_1_3_2_3_1_1 one n107_a_hedgehog__1_1_3_2_3_2_1_1 big n107_a_hedgehog__1_1_3_2_3_3_1 thing n107_a_hedgehog__1_2_1 . n107_a_hedgehog__1 IP-MAT n107_a_hedgehog__1_1 ILYR n107_a_hedgehog__1->n107_a_hedgehog__1_1 n107_a_hedgehog__1_2 PUNC n107_a_hedgehog__1->n107_a_hedgehog__1_2 n107_a_hedgehog__1_1_1 ILYR n107_a_hedgehog__1_1->n107_a_hedgehog__1_1_1 n107_a_hedgehog__1_1_2 PUNC n107_a_hedgehog__1_1->n107_a_hedgehog__1_1_2 n107_a_hedgehog__1_1_3 CONJP n107_a_hedgehog__1_1->n107_a_hedgehog__1_1_3 n107_a_hedgehog__1_1_1_1 NP-SBJ n107_a_hedgehog__1_1_1->n107_a_hedgehog__1_1_1_1 n107_a_hedgehog__1_1_1_2 VBP;_Tn_ n107_a_hedgehog__1_1_1->n107_a_hedgehog__1_1_1_2 n107_a_hedgehog__1_1_1_3 NP-OB1 n107_a_hedgehog__1_1_1->n107_a_hedgehog__1_1_1_3 n107_a_hedgehog__1_1_1_1_1 D n107_a_hedgehog__1_1_1_1->n107_a_hedgehog__1_1_1_1_1 n107_a_hedgehog__1_1_1_1_2 N n107_a_hedgehog__1_1_1_1->n107_a_hedgehog__1_1_1_1_2 n107_a_hedgehog__1_1_1_1_1->n107_a_hedgehog__1_1_1_1_1_1 n107_a_hedgehog__1_1_1_1_2->n107_a_hedgehog__1_1_1_1_2_1 n107_a_hedgehog__1_1_1_2->n107_a_hedgehog__1_1_1_2_1 n107_a_hedgehog__1_1_1_3_1 ADJP n107_a_hedgehog__1_1_1_3->n107_a_hedgehog__1_1_1_3_1 n107_a_hedgehog__1_1_1_3_2 NS n107_a_hedgehog__1_1_1_3->n107_a_hedgehog__1_1_1_3_2 n107_a_hedgehog__1_1_1_3_1_1 ADJ n107_a_hedgehog__1_1_1_3_1->n107_a_hedgehog__1_1_1_3_1_1 n107_a_hedgehog__1_1_1_3_1_1->n107_a_hedgehog__1_1_1_3_1_1_1 n107_a_hedgehog__1_1_1_3_2->n107_a_hedgehog__1_1_1_3_2_1 n107_a_hedgehog__1_1_2->n107_a_hedgehog__1_1_2_1 n107_a_hedgehog__1_1_3_1 CONJ n107_a_hedgehog__1_1_3->n107_a_hedgehog__1_1_3_1 n107_a_hedgehog__1_1_3_2 ILYR n107_a_hedgehog__1_1_3->n107_a_hedgehog__1_1_3_2 n107_a_hedgehog__1_1_3_1->n107_a_hedgehog__1_1_3_1_1 n107_a_hedgehog__1_1_3_2_1 NP-SBJ n107_a_hedgehog__1_1_3_2->n107_a_hedgehog__1_1_3_2_1 n107_a_hedgehog__1_1_3_2_2 VBP;_Tn_ n107_a_hedgehog__1_1_3_2->n107_a_hedgehog__1_1_3_2_2 n107_a_hedgehog__1_1_3_2_3 NP-OB1 n107_a_hedgehog__1_1_3_2->n107_a_hedgehog__1_1_3_2_3 n107_a_hedgehog__1_1_3_2_1_1 D n107_a_hedgehog__1_1_3_2_1->n107_a_hedgehog__1_1_3_2_1_1 n107_a_hedgehog__1_1_3_2_1_2 N n107_a_hedgehog__1_1_3_2_1->n107_a_hedgehog__1_1_3_2_1_2 n107_a_hedgehog__1_1_3_2_1_1->n107_a_hedgehog__1_1_3_2_1_1_1 n107_a_hedgehog__1_1_3_2_1_2->n107_a_hedgehog__1_1_3_2_1_2_1 n107_a_hedgehog__1_1_3_2_2->n107_a_hedgehog__1_1_3_2_2_1 n107_a_hedgehog__1_1_3_2_3_1 NUM n107_a_hedgehog__1_1_3_2_3->n107_a_hedgehog__1_1_3_2_3_1 n107_a_hedgehog__1_1_3_2_3_2 ADJP n107_a_hedgehog__1_1_3_2_3->n107_a_hedgehog__1_1_3_2_3_2 n107_a_hedgehog__1_1_3_2_3_3 N n107_a_hedgehog__1_1_3_2_3->n107_a_hedgehog__1_1_3_2_3_3 n107_a_hedgehog__1_1_3_2_3_1->n107_a_hedgehog__1_1_3_2_3_1_1 n107_a_hedgehog__1_1_3_2_3_2_1 ADJ n107_a_hedgehog__1_1_3_2_3_2->n107_a_hedgehog__1_1_3_2_3_2_1 n107_a_hedgehog__1_1_3_2_3_2_1->n107_a_hedgehog__1_1_3_2_3_2_1_1 n107_a_hedgehog__1_1_3_2_3_3->n107_a_hedgehog__1_1_3_2_3_3_1 n107_a_hedgehog__1_2->n107_a_hedgehog__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (N fox;{fox}))
                      (VBP;_Tn_ knows;{know})
                      (NP-OB1 (ADJP (ADJ many;{many}))
                              (NS things;{thing})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (D the;{the})
                                     (N hedgehog;{hedgehog}))
                             (VBP;_Tn_ knows;{know})
                             (NP-OB1 (NUM one;{one})
                                     (ADJP (ADJ big;{big}))
                                     (N thing;{thing})))))
          (PUNC .))
  (ID 107_a_hedgehog;speaker=Stewart))