TSPC 143_a_hedgehog

143_a_hedgehog
The hedgehog is not an animal that flourishes in many of our nature reserves.

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

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_0008__flourishes,r_0143_0005__an_r_0143_0006__animal,inv_arg0).
arc(r_0143_0008__flourishes,z_0143_5006,r_0143_0009__in__nim).
arc(r_0143_0013__nature_r_0143_0014__reserves,r_0143_0012__our,gen).
arc(z_0143_5006,r_0143_0010__many,attrib).
arc(z_0143_5006,r_0143_0013__nature_r_0143_0014__reserves,r_0143_0011__of).

fof(formula,axiom,
    ~ ? [R_0143_0001__THE_R_0143_0002__HEDGEHOG,R_0143_0010__MANY,R_0143_0012__OUR,R_0143_0013__NATURE_R_0143_0014__RESERVES,Z_0143_5006,R_0143_0008__FLOURISHES,R_0143_0005__AN_R_0143_0006__ANIMAL,R_0143_0003__IS] :
        ( r_0143_0001__The_r_0143_0002__hedgehog(R_0143_0001__THE_R_0143_0002__HEDGEHOG)
        & r_0143_0010__many(R_0143_0010__MANY)
        & r_0143_0012__our(R_0143_0012__OUR)
        & r_0143_0003__is(R_0143_0003__IS)
        & has_prd(R_0143_0003__IS,R_0143_0005__AN_R_0143_0006__ANIMAL)
        & r_0143_0005__an_r_0143_0006__animal(R_0143_0005__AN_R_0143_0006__ANIMAL)
        & has_inv_arg0(R_0143_0005__AN_R_0143_0006__ANIMAL,R_0143_0008__FLOURISHES)
        & r_0143_0008__flourishes(R_0143_0008__FLOURISHES)
        & has_r_0143_0009__in__nim(R_0143_0008__FLOURISHES,Z_0143_5006)
        & z_0143_5006(Z_0143_5006)
        & has_r_0143_0011__of(Z_0143_5006,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_attrib(Z_0143_5006,R_0143_0010__MANY)
        & has_arg0(R_0143_0003__IS,R_0143_0001__THE_R_0143_0002__HEDGEHOG) ) ).