( (IP-MAT (NP-SBJ (NLYR (NLYR;{HEDGEHOG} (D The;{the})
                                         (N hedgehog;{hedgehog}))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (NP-GEN;{HEDGEHOG} (PRO;_genm_ its;{its}))
                                     (N ancestor;{ancestor})))))
          (PUNC ,)
          (ADVP-NIM (ADV narrowly;{narrowly}))
          (VBD;_cat_Vg_ missed;{miss})
          (IP-PPL-CAT (BAG;_cat_VePASS_ being;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ crushed;{crush})
                                  (PP-NIM (P-ROLE under;{under})
                                          (NP (D the;{the})
                                              (N foot;{foot})
                                              (PP (P-ROLE of;{of})
                                                  (NP (NPR Tyrannosaurus;{Tyrannosaurus})
                                                      (N rex;{rex})))))))
          (PUNC .))
  (ID 113_a_hedgehog;speaker=Stewart))

arc(r_0113_0004__and,r_0113_0001__The_r_0113_0002__hedgehog,conj1).
arc(r_0113_0004__and,r_0113_0006__ancestor,conj2).
arc(r_0113_0006__ancestor,r_0113_0001__The_r_0113_0002__hedgehog,gen).
arc(r_0113_0009__missed,r_0113_0008__narrowly,nim).
arc(r_0113_0009__missed,r_0113_0010__being,scope).
arc(r_0113_0010__being,r_0113_0011__crushed,scope).
arc(r_0113_0011__crushed,r_0113_0004__and,arg1).
arc(r_0113_0011__crushed,r_0113_0013__the_r_0113_0014__foot,r_0113_0012__under__nim).
arc(r_0113_0011__crushed,z_0113_5010___star_,arg0).
arc(r_0113_0013__the_r_0113_0014__foot,r_0113_0016__Tyrannosaurus_r_0113_0017__rex,r_0113_0015__of).

fof(formula,axiom,
    ? [R_0113_0008__NARROWLY,R_0113_0001__THE_R_0113_0002__HEDGEHOG,R_0113_0006__ANCESTOR,R_0113_0004__AND,R_0113_0016__TYRANNOSAURUS_R_0113_0017__REX,R_0113_0013__THE_R_0113_0014__FOOT,Z_0113_5010___STAR_,R_0113_0009__MISSED_R_0113_0010__BEING_R_0113_0011__CRUSHED] :
      ( r_0113_0001__The_r_0113_0002__hedgehog(R_0113_0001__THE_R_0113_0002__HEDGEHOG)
      & r_0113_0008__narrowly(R_0113_0008__NARROWLY)
      & r_0113_0016__Tyrannosaurus_r_0113_0017__rex(R_0113_0016__TYRANNOSAURUS_R_0113_0017__REX)
      & z_0113_5010___star_(Z_0113_5010___STAR_)
      & r_0113_0009__missed_r_0113_0010__being_r_0113_0011__crushed(R_0113_0009__MISSED_R_0113_0010__BEING_R_0113_0011__CRUSHED)
      & has_arg0(R_0113_0009__MISSED_R_0113_0010__BEING_R_0113_0011__CRUSHED,Z_0113_5010___STAR_)
      & has_r_0113_0012__under__nim(R_0113_0009__MISSED_R_0113_0010__BEING_R_0113_0011__CRUSHED,R_0113_0013__THE_R_0113_0014__FOOT)
      & r_0113_0013__the_r_0113_0014__foot(R_0113_0013__THE_R_0113_0014__FOOT)
      & has_r_0113_0015__of(R_0113_0013__THE_R_0113_0014__FOOT,R_0113_0016__TYRANNOSAURUS_R_0113_0017__REX)
      & has_arg1(R_0113_0009__MISSED_R_0113_0010__BEING_R_0113_0011__CRUSHED,R_0113_0004__AND)
      & r_0113_0004__and(R_0113_0004__AND)
      & has_conj2(R_0113_0004__AND,R_0113_0006__ANCESTOR)
      & r_0113_0006__ancestor(R_0113_0006__ANCESTOR)
      & has_gen(R_0113_0006__ANCESTOR,R_0113_0001__THE_R_0113_0002__HEDGEHOG)
      & has_conj1(R_0113_0004__AND,R_0113_0001__THE_R_0113_0002__HEDGEHOG)
      & has_nim(R_0113_0009__MISSED_R_0113_0010__BEING_R_0113_0011__CRUSHED,R_0113_0008__NARROWLY) ) ).