arc(r_0143_0003__is, r_0143_0001__The_r_0143_0002__hedgehog, arg0).
arc(r_0143_0003__is, r_0143_0005__an_r_0143_0006__animal, prd).
arc(r_0143_0004__not, r_0143_0003__is, keep_scope).
arc(r_0143_0007__that_r_0143_0008__flourishes, r_0143_0005__an_r_0143_0006__animal, arg0).
arc(r_0143_0007__that_r_0143_0008__flourishes, z_000_143_a_hedgehog_26, r_0143_0009__in_nim26).
arc(r_0143_0013__nature_r_0143_0014__reserves, r_0143_0012__our, gen).
arc(z_000_143_a_hedgehog_26, r_0143_0010__many, attrib27).
arc(z_000_143_a_hedgehog_26, r_0143_0013__nature_r_0143_0014__reserves, r_0143_0011__of).

fof(formula,axiom,
    ? [R_0143_0005__AN_R_0143_0006__ANIMAL,R_0143_0010__MANY,R_0143_0012__OUR,R_0143_0013__NATURE_R_0143_0014__RESERVES,Z_000_143_A_HEDGEHOG_26,R_0143_0007__THAT_R_0143_0008__FLOURISHES] :
      ( r_0143_0005__an_r_0143_0006__animal(R_0143_0005__AN_R_0143_0006__ANIMAL)
      & r_0143_0010__many(R_0143_0010__MANY)
      & r_0143_0012__our(R_0143_0012__OUR)
      & r_0143_0007__that_r_0143_0008__flourishes(R_0143_0007__THAT_R_0143_0008__FLOURISHES)
      & has_r_0143_0009__in_nim26(R_0143_0007__THAT_R_0143_0008__FLOURISHES,Z_000_143_A_HEDGEHOG_26)
      & z_000_143_a_hedgehog_26(Z_000_143_A_HEDGEHOG_26)
      & has_r_0143_0011__of(Z_000_143_A_HEDGEHOG_26,R_0143_0013__NATURE_R_0143_0014__RESERVES)
      & r_0143_0013__nature_r_0143_0014__reserves(R_0143_0013__NATURE_R_0143_0014__RESERVES)
      & has_gen(R_0143_0013__NATURE_R_0143_0014__RESERVES,R_0143_0012__OUR)
      & has_attrib27(Z_000_143_A_HEDGEHOG_26,R_0143_0010__MANY)
      & has_arg0(R_0143_0007__THAT_R_0143_0008__FLOURISHES,R_0143_0005__AN_R_0143_0006__ANIMAL)
      & ~ ? [R_0143_0001__THE_R_0143_0002__HEDGEHOG,R_0143_0003__IS] :
            ( r_0143_0001__The_r_0143_0002__hedgehog(R_0143_0001__THE_R_0143_0002__HEDGEHOG)
            & r_0143_0003__is(R_0143_0003__IS)
            & has_prd(R_0143_0003__IS,R_0143_0005__AN_R_0143_0006__ANIMAL)
            & has_arg0(R_0143_0003__IS,R_0143_0001__THE_R_0143_0002__HEDGEHOG) ) ) ).

( (IP-MAT (NP-SBJ;{HEDGEHOG} (D The;{the})
                             (N hedgehog;{hedgehog}))
          (BEP;_Ln_ is;{be})
          (NEG not;{not})
          (NP-PRD (D an;{an})
                  (N animal;{animal})
                  (IP-REL (C that;{that})
                          (NP-SBJ *T*)
                          (VBP;_I_ flourishes;{flourish})
                          (PP-NIM (P-ROLE in;{in})
                                  (NP (ADJP (ADJ many;{many}))
                                      (PP (P-ROLE of;{of})
                                          (NP (NP-GEN (PRO;_genm_ our;{our}))
                                              (N nature;{nature})
                                              (NS reserves;{reserve})))))))
          (PUNC .))
  (ID 143_a_hedgehog;speaker=Stewart))