143_a_hedgehog
The hedgehog is not an animal that flourishes in many of our nature reserves.
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_143_7_THAT_FLOURISHES,R_143_5_AN_ANIMAL,Z_143_A_HEDGEHOG_26,R_143_10_MANY,R_143_13_NATURE_RESERVES,R_143_12_OUR] :
( an_animal(R_143_5_AN_ANIMAL)
& many(R_143_10_MANY)
& our(R_143_12_OUR)
& ~ ? [R_143_3_IS,R_143_1_THE_HEDGEHOG] :
( the_hedgehog(R_143_1_THE_HEDGEHOG)
& is(R_143_3_IS,R_143_1_THE_HEDGEHOG,R_143_5_AN_ANIMAL) )
& that_flourishes(R_143_7_THAT_FLOURISHES,R_143_5_AN_ANIMAL)
& in_nim26(R_143_7_THAT_FLOURISHES,Z_143_A_HEDGEHOG_26)
& z_143_a_hedgehog_26(Z_143_A_HEDGEHOG_26)
& attrib27(Z_143_A_HEDGEHOG_26,R_143_10_MANY)
& of(Z_143_A_HEDGEHOG_26,R_143_13_NATURE_RESERVES)
& nature_reserves(R_143_13_NATURE_RESERVES)
& gen(R_143_13_NATURE_RESERVES,R_143_12_OUR) ) ).
( (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))