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_107_7_BUT,R_107_3_KNOWS,R_107_1_THE_FOX,R_107_5_THINGS,R_107_4_MANY,R_107_10_KNOWS,R_107_8_THE_HEDGEHOG,R_107_11_ONE_THING,R_107_12_BIG] :
      ( the_fox(R_107_1_THE_FOX)
      & many(R_107_4_MANY)
      & the_hedgehog(R_107_8_THE_HEDGEHOG)
      & big(R_107_12_BIG)
      & but(R_107_7_BUT)
      & conj1(R_107_7_BUT,R_107_3_KNOWS)
      & knows(R_107_3_KNOWS,R_107_1_THE_FOX,R_107_5_THINGS)
      & things(R_107_5_THINGS)
      & attrib12(R_107_5_THINGS,R_107_4_MANY)
      & conj2(R_107_7_BUT,R_107_10_KNOWS)
      & knows(R_107_10_KNOWS,R_107_8_THE_HEDGEHOG,R_107_11_ONE_THING)
      & one_thing(R_107_11_ONE_THING)
      & attrib33(R_107_11_ONE_THING,R_107_12_BIG) ) ).


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