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, nim22).
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_nim38).
arc(r_0113_0011__crushed, z_000_113_a_hedgehog_31, 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_000_113_A_HEDGEHOG_31,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_000_113_a_hedgehog_31(Z_000_113_A_HEDGEHOG_31)
      & 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_000_113_A_HEDGEHOG_31)
      & has_r_0113_0012__under_nim38(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_nim22(R_0113_0009__MISSED_R_0113_0010__BEING_R_0113_0011__CRUSHED,R_0113_0008__NARROWLY) ) ).

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