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_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] 
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_6 The n107_a_hedgehog_8 fox n107_a_hedgehog_10 knows n107_a_hedgehog_14 many n107_a_hedgehog_16 things n107_a_hedgehog_18 , n107_a_hedgehog_21 but n107_a_hedgehog_25 the n107_a_hedgehog_27 hedgehog n107_a_hedgehog_29 knows n107_a_hedgehog_32 one n107_a_hedgehog_35 big n107_a_hedgehog_37 thing n107_a_hedgehog_39 . n107_a_hedgehog_1 IP-MAT n107_a_hedgehog_2 ILYR n107_a_hedgehog_1->n107_a_hedgehog_2 n107_a_hedgehog_38 PUNC n107_a_hedgehog_1->n107_a_hedgehog_38 n107_a_hedgehog_3 ILYR n107_a_hedgehog_2->n107_a_hedgehog_3 n107_a_hedgehog_17 PUNC n107_a_hedgehog_2->n107_a_hedgehog_17 n107_a_hedgehog_19 CONJP n107_a_hedgehog_2->n107_a_hedgehog_19 n107_a_hedgehog_4 NP-SBJ n107_a_hedgehog_3->n107_a_hedgehog_4 n107_a_hedgehog_9 VBP;_Tn_ n107_a_hedgehog_3->n107_a_hedgehog_9 n107_a_hedgehog_11 NP-OB1 n107_a_hedgehog_3->n107_a_hedgehog_11 n107_a_hedgehog_5 D n107_a_hedgehog_4->n107_a_hedgehog_5 n107_a_hedgehog_7 N n107_a_hedgehog_4->n107_a_hedgehog_7 n107_a_hedgehog_5->n107_a_hedgehog_6 n107_a_hedgehog_7->n107_a_hedgehog_8 n107_a_hedgehog_9->n107_a_hedgehog_10 n107_a_hedgehog_12 ADJP n107_a_hedgehog_11->n107_a_hedgehog_12 n107_a_hedgehog_15 NS n107_a_hedgehog_11->n107_a_hedgehog_15 n107_a_hedgehog_13 ADJ n107_a_hedgehog_12->n107_a_hedgehog_13 n107_a_hedgehog_13->n107_a_hedgehog_14 n107_a_hedgehog_15->n107_a_hedgehog_16 n107_a_hedgehog_17->n107_a_hedgehog_18 n107_a_hedgehog_20 CONJ n107_a_hedgehog_19->n107_a_hedgehog_20 n107_a_hedgehog_22 ILYR n107_a_hedgehog_19->n107_a_hedgehog_22 n107_a_hedgehog_20->n107_a_hedgehog_21 n107_a_hedgehog_23 NP-SBJ n107_a_hedgehog_22->n107_a_hedgehog_23 n107_a_hedgehog_28 VBP;_Tn_ n107_a_hedgehog_22->n107_a_hedgehog_28 n107_a_hedgehog_30 NP-OB1 n107_a_hedgehog_22->n107_a_hedgehog_30 n107_a_hedgehog_24 D n107_a_hedgehog_23->n107_a_hedgehog_24 n107_a_hedgehog_26 N n107_a_hedgehog_23->n107_a_hedgehog_26 n107_a_hedgehog_24->n107_a_hedgehog_25 n107_a_hedgehog_26->n107_a_hedgehog_27 n107_a_hedgehog_28->n107_a_hedgehog_29 n107_a_hedgehog_31 NUM n107_a_hedgehog_30->n107_a_hedgehog_31 n107_a_hedgehog_33 ADJP n107_a_hedgehog_30->n107_a_hedgehog_33 n107_a_hedgehog_36 N n107_a_hedgehog_30->n107_a_hedgehog_36 n107_a_hedgehog_31->n107_a_hedgehog_32 n107_a_hedgehog_34 ADJ n107_a_hedgehog_33->n107_a_hedgehog_34 n107_a_hedgehog_34->n107_a_hedgehog_35 n107_a_hedgehog_36->n107_a_hedgehog_37 n107_a_hedgehog_38->n107_a_hedgehog_39 
( (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))