40_a_hedgehog
However, these suburban habitats are broken up by fences and roads, pushing hedgehogs into unsuitably small areas.
arc(r_0040_0003__these_r_0040_0005__habitats, r_0040_0004__suburban, attrib10).
arc(r_0040_0006__are, r_0040_0001__However, nim2).
arc(r_0040_0006__are, r_0040_0007__broken_r_0040_0008__up, scope).
arc(r_0040_0007__broken_r_0040_0008__up, r_0040_0003__these_r_0040_0005__habitats, arg1).
arc(r_0040_0007__broken_r_0040_0008__up, r_0040_0011__and, r_0040_0009__by_nim27).
arc(r_0040_0007__broken_r_0040_0008__up, z_000_40_a_hedgehog_18, arg0).
arc(r_0040_0011__and, r_0040_0010__fences, conj1).
arc(r_0040_0011__and, r_0040_0012__roads, conj2).
arc(r_0040_0014__pushing, r_0040_0011__and, arg0).
arc(r_0040_0014__pushing, r_0040_0015__hedgehogs, arg1).
arc(r_0040_0014__pushing, r_0040_0019__areas, r_0040_0016__into_clr49).
arc(r_0040_0018__small, r_0040_0017__unsuitably, qual51).
arc(r_0040_0019__areas, r_0040_0018__small, attrib50).
fof(formula,axiom,
? [R_40_6_ARE_BROKEN_UP,Z_40_A_HEDGEHOG_18,R_40_3_THESE_HABITATS,R_40_4_SUBURBAN,R_40_1_HOWEVER,R_40_14_PUSHING,R_40_11_AND,R_40_10_FENCES,R_40_12_ROADS,R_40_15_HEDGEHOGS,R_40_19_AREAS,R_40_18_SMALL,R_40_17_UNSUITABLY] :
( suburban(R_40_4_SUBURBAN)
& however(R_40_1_HOWEVER)
& fences(R_40_10_FENCES)
& roads(R_40_12_ROADS)
& hedgehogs(R_40_15_HEDGEHOGS)
& unsuitably(R_40_17_UNSUITABLY)
& are_broken_up(R_40_6_ARE_BROKEN_UP,Z_40_A_HEDGEHOG_18,R_40_3_THESE_HABITATS)
& these_habitats(R_40_3_THESE_HABITATS)
& attrib10(R_40_3_THESE_HABITATS,R_40_4_SUBURBAN)
& nim2(R_40_6_ARE_BROKEN_UP,R_40_1_HOWEVER)
& by_nim27(R_40_6_ARE_BROKEN_UP,R_40_11_AND)
& and(R_40_11_AND)
& conj1(R_40_11_AND,R_40_10_FENCES)
& conj2(R_40_11_AND,R_40_12_ROADS)
& pushing(R_40_14_PUSHING,R_40_11_AND,R_40_15_HEDGEHOGS)
& into_clr49(R_40_14_PUSHING,R_40_19_AREAS)
& areas(R_40_19_AREAS)
& attrib50(R_40_19_AREAS,R_40_18_SMALL)
& small(R_40_18_SMALL)
& qual51(R_40_18_SMALL,R_40_17_UNSUITABLY) ) ).
( (IP-MAT (ADVP-NIM (ADV However;{however}))
(PUNC ,)
(NP-SBJ (D these;{these})
(ADJP (ADJ suburban;{suburban}))
(NS habitats;{habitat}))
(BEP;_cat_VePASS_ are;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_phr_Vp.n_ broken;{break[up]})
(RP up;{up})
(PP-NIM (P-ROLE by;{by})
(NP (NLYR (NLYR (NS fences;{fence}))
(CONJP (CONJ and;{and})
(NLYR (NS roads;{road}))))
(PUNC ,)
(IP-PPL (VAG;_Tn.pr_ pushing;{push[into]})
(NP-OB1 (NS hedgehogs;{hedgehog}))
(PP-CLR (P-ROLE into;{into})
(NP (ADJP (ADVP (ADV unsuitably;{unsuitably}))
(ADJ small;{small}))
(NS areas;{area})))))))
(PUNC .))
(ID 40_a_hedgehog;speaker=Colvile))