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

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,attrib).
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,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_attrib(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_attrib(R_0107_0005__THINGS,R_0107_0004__MANY)
      & has_arg0(R_0107_0003__KNOWS,R_0107_0001__THE_R_0107_0002__FOX) ) ).