40_a_hedgehog
However, these suburban habitats are broken up by fences and roads, pushing hedgehogs into unsuitably small areas.

%3 r_0040_0003__these_r_0040_0005__habitats these habitats r_0040_0004__suburban suburban r_0040_0003__these_r_0040_0005__habitats->r_0040_0004__suburban [attrib] r_0040_0006__are are r_0040_0001__However However r_0040_0006__are->r_0040_0001__However [nim] r_0040_0007__broken_r_0040_0008__up broken up r_0040_0006__are->r_0040_0007__broken_r_0040_0008__up [scope] r_0040_0007__broken_r_0040_0008__up->r_0040_0003__these_r_0040_0005__habitats [arg1] r_0040_0011__and and r_0040_0007__broken_r_0040_0008__up->r_0040_0011__and by [nim] z_000_40_a_hedgehog_18 r_0040_0007__broken_r_0040_0008__up->z_000_40_a_hedgehog_18 [arg0] r_0040_0010__fences fences r_0040_0011__and->r_0040_0010__fences [conj1] r_0040_0012__roads roads r_0040_0011__and->r_0040_0012__roads [conj2] r_0040_0014__pushing pushing r_0040_0014__pushing->r_0040_0011__and [arg0] r_0040_0015__hedgehogs hedgehogs r_0040_0014__pushing->r_0040_0015__hedgehogs [arg1] r_0040_0019__areas areas r_0040_0014__pushing->r_0040_0019__areas into [clr] r_0040_0018__small small r_0040_0019__areas->r_0040_0018__small [attrib] r_0040_0017__unsuitably unsuitably r_0040_0018__small->r_0040_0017__unsuitably [qual]
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).



%3 r_0040_0019__areas areas r_0040_0018__small small r_0040_0019__areas->r_0040_0018__small [attrib] r_0040_0017__unsuitably unsuitably r_0040_0018__small->r_0040_0017__unsuitably [qual] r_0040_0014__pushing pushing r_0040_0014__pushing->r_0040_0019__areas into [clr] r_0040_0015__hedgehogs hedgehogs r_0040_0014__pushing->r_0040_0015__hedgehogs [arg1] r_0040_0011__and and r_0040_0014__pushing->r_0040_0011__and [arg0] r_0040_0012__roads roads r_0040_0011__and->r_0040_0012__roads [conj2] r_0040_0010__fences fences r_0040_0011__and->r_0040_0010__fences [conj1] r_0040_0006__are_r_0040_0007__broken_r_0040_0008__up are broken up r_0040_0006__are_r_0040_0007__broken_r_0040_0008__up->r_0040_0011__and by [nim] z_000_40_a_hedgehog_18 r_0040_0006__are_r_0040_0007__broken_r_0040_0008__up->z_000_40_a_hedgehog_18 [arg0] r_0040_0003__these_r_0040_0005__habitats these habitats r_0040_0006__are_r_0040_0007__broken_r_0040_0008__up->r_0040_0003__these_r_0040_0005__habitats [arg1] r_0040_0001__However However r_0040_0006__are_r_0040_0007__broken_r_0040_0008__up->r_0040_0001__However [nim] r_0040_0004__suburban suburban r_0040_0003__these_r_0040_0005__habitats->r_0040_0004__suburban [attrib]
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) ) ).



n40_a_hedgehog n40_a_hedgehog__1_1_1_1 However n40_a_hedgehog__1_2_1 , n40_a_hedgehog__1_3_1_1 these n40_a_hedgehog__1_3_2_1_1 suburban n40_a_hedgehog__1_3_3_1 habitats n40_a_hedgehog__1_4_1 are n40_a_hedgehog__1_5_1_1 * n40_a_hedgehog__1_5_2_1 broken n40_a_hedgehog__1_5_3_1 up n40_a_hedgehog__1_5_4_1_1 by n40_a_hedgehog__1_5_4_2_1_1_1_1 fences n40_a_hedgehog__1_5_4_2_1_2_1_1 and n40_a_hedgehog__1_5_4_2_1_2_2_1_1 roads n40_a_hedgehog__1_5_4_2_2_1 , n40_a_hedgehog__1_5_4_2_3_1_1 pushing n40_a_hedgehog__1_5_4_2_3_2_1_1 hedgehogs n40_a_hedgehog__1_5_4_2_3_3_1_1 into n40_a_hedgehog__1_5_4_2_3_3_2_1_1_1_1 unsuitably n40_a_hedgehog__1_5_4_2_3_3_2_1_2_1 small n40_a_hedgehog__1_5_4_2_3_3_2_2_1 areas n40_a_hedgehog__1_6_1 . n40_a_hedgehog__1 IP-MAT n40_a_hedgehog__1_1 ADVP-NIM n40_a_hedgehog__1->n40_a_hedgehog__1_1 n40_a_hedgehog__1_2 PUNC n40_a_hedgehog__1->n40_a_hedgehog__1_2 n40_a_hedgehog__1_3 NP-SBJ n40_a_hedgehog__1->n40_a_hedgehog__1_3 n40_a_hedgehog__1_4 BEP;_cat_VePASS_ n40_a_hedgehog__1->n40_a_hedgehog__1_4 n40_a_hedgehog__1_5 IP-PPL-CAT n40_a_hedgehog__1->n40_a_hedgehog__1_5 n40_a_hedgehog__1_6 PUNC n40_a_hedgehog__1->n40_a_hedgehog__1_6 n40_a_hedgehog__1_1_1 ADV n40_a_hedgehog__1_1->n40_a_hedgehog__1_1_1 n40_a_hedgehog__1_1_1->n40_a_hedgehog__1_1_1_1 n40_a_hedgehog__1_2->n40_a_hedgehog__1_2_1 n40_a_hedgehog__1_3_1 D n40_a_hedgehog__1_3->n40_a_hedgehog__1_3_1 n40_a_hedgehog__1_3_2 ADJP n40_a_hedgehog__1_3->n40_a_hedgehog__1_3_2 n40_a_hedgehog__1_3_3 NS n40_a_hedgehog__1_3->n40_a_hedgehog__1_3_3 n40_a_hedgehog__1_3_1->n40_a_hedgehog__1_3_1_1 n40_a_hedgehog__1_3_2_1 ADJ n40_a_hedgehog__1_3_2->n40_a_hedgehog__1_3_2_1 n40_a_hedgehog__1_3_2_1->n40_a_hedgehog__1_3_2_1_1 n40_a_hedgehog__1_3_3->n40_a_hedgehog__1_3_3_1 n40_a_hedgehog__1_4->n40_a_hedgehog__1_4_1 n40_a_hedgehog__1_5_1 NP-LGS n40_a_hedgehog__1_5->n40_a_hedgehog__1_5_1 n40_a_hedgehog__1_5_2 VVN;_phr_Vp.n_ n40_a_hedgehog__1_5->n40_a_hedgehog__1_5_2 n40_a_hedgehog__1_5_3 RP n40_a_hedgehog__1_5->n40_a_hedgehog__1_5_3 n40_a_hedgehog__1_5_4 PP-NIM n40_a_hedgehog__1_5->n40_a_hedgehog__1_5_4 n40_a_hedgehog__1_5_1->n40_a_hedgehog__1_5_1_1 n40_a_hedgehog__1_5_2->n40_a_hedgehog__1_5_2_1 n40_a_hedgehog__1_5_3->n40_a_hedgehog__1_5_3_1 n40_a_hedgehog__1_5_4_1 P-ROLE n40_a_hedgehog__1_5_4->n40_a_hedgehog__1_5_4_1 n40_a_hedgehog__1_5_4_2 NP n40_a_hedgehog__1_5_4->n40_a_hedgehog__1_5_4_2 n40_a_hedgehog__1_5_4_1->n40_a_hedgehog__1_5_4_1_1 n40_a_hedgehog__1_5_4_2_1 NLYR n40_a_hedgehog__1_5_4_2->n40_a_hedgehog__1_5_4_2_1 n40_a_hedgehog__1_5_4_2_2 PUNC n40_a_hedgehog__1_5_4_2->n40_a_hedgehog__1_5_4_2_2 n40_a_hedgehog__1_5_4_2_3 IP-PPL n40_a_hedgehog__1_5_4_2->n40_a_hedgehog__1_5_4_2_3 n40_a_hedgehog__1_5_4_2_1_1 NLYR n40_a_hedgehog__1_5_4_2_1->n40_a_hedgehog__1_5_4_2_1_1 n40_a_hedgehog__1_5_4_2_1_2 CONJP n40_a_hedgehog__1_5_4_2_1->n40_a_hedgehog__1_5_4_2_1_2 n40_a_hedgehog__1_5_4_2_1_1_1 NS n40_a_hedgehog__1_5_4_2_1_1->n40_a_hedgehog__1_5_4_2_1_1_1 n40_a_hedgehog__1_5_4_2_1_1_1->n40_a_hedgehog__1_5_4_2_1_1_1_1 n40_a_hedgehog__1_5_4_2_1_2_1 CONJ n40_a_hedgehog__1_5_4_2_1_2->n40_a_hedgehog__1_5_4_2_1_2_1 n40_a_hedgehog__1_5_4_2_1_2_2 NLYR n40_a_hedgehog__1_5_4_2_1_2->n40_a_hedgehog__1_5_4_2_1_2_2 n40_a_hedgehog__1_5_4_2_1_2_1->n40_a_hedgehog__1_5_4_2_1_2_1_1 n40_a_hedgehog__1_5_4_2_1_2_2_1 NS n40_a_hedgehog__1_5_4_2_1_2_2->n40_a_hedgehog__1_5_4_2_1_2_2_1 n40_a_hedgehog__1_5_4_2_1_2_2_1->n40_a_hedgehog__1_5_4_2_1_2_2_1_1 n40_a_hedgehog__1_5_4_2_2->n40_a_hedgehog__1_5_4_2_2_1 n40_a_hedgehog__1_5_4_2_3_1 VAG;_Tn.pr_ n40_a_hedgehog__1_5_4_2_3->n40_a_hedgehog__1_5_4_2_3_1 n40_a_hedgehog__1_5_4_2_3_2 NP-OB1 n40_a_hedgehog__1_5_4_2_3->n40_a_hedgehog__1_5_4_2_3_2 n40_a_hedgehog__1_5_4_2_3_3 PP-CLR n40_a_hedgehog__1_5_4_2_3->n40_a_hedgehog__1_5_4_2_3_3 n40_a_hedgehog__1_5_4_2_3_1->n40_a_hedgehog__1_5_4_2_3_1_1 n40_a_hedgehog__1_5_4_2_3_2_1 NS n40_a_hedgehog__1_5_4_2_3_2->n40_a_hedgehog__1_5_4_2_3_2_1 n40_a_hedgehog__1_5_4_2_3_2_1->n40_a_hedgehog__1_5_4_2_3_2_1_1 n40_a_hedgehog__1_5_4_2_3_3_1 P-ROLE n40_a_hedgehog__1_5_4_2_3_3->n40_a_hedgehog__1_5_4_2_3_3_1 n40_a_hedgehog__1_5_4_2_3_3_2 NP n40_a_hedgehog__1_5_4_2_3_3->n40_a_hedgehog__1_5_4_2_3_3_2 n40_a_hedgehog__1_5_4_2_3_3_1->n40_a_hedgehog__1_5_4_2_3_3_1_1 n40_a_hedgehog__1_5_4_2_3_3_2_1 ADJP n40_a_hedgehog__1_5_4_2_3_3_2->n40_a_hedgehog__1_5_4_2_3_3_2_1 n40_a_hedgehog__1_5_4_2_3_3_2_2 NS n40_a_hedgehog__1_5_4_2_3_3_2->n40_a_hedgehog__1_5_4_2_3_3_2_2 n40_a_hedgehog__1_5_4_2_3_3_2_1_1 ADVP n40_a_hedgehog__1_5_4_2_3_3_2_1->n40_a_hedgehog__1_5_4_2_3_3_2_1_1 n40_a_hedgehog__1_5_4_2_3_3_2_1_2 ADJ n40_a_hedgehog__1_5_4_2_3_3_2_1->n40_a_hedgehog__1_5_4_2_3_3_2_1_2 n40_a_hedgehog__1_5_4_2_3_3_2_1_1_1 ADV n40_a_hedgehog__1_5_4_2_3_3_2_1_1->n40_a_hedgehog__1_5_4_2_3_3_2_1_1_1 n40_a_hedgehog__1_5_4_2_3_3_2_1_1_1->n40_a_hedgehog__1_5_4_2_3_3_2_1_1_1_1 n40_a_hedgehog__1_5_4_2_3_3_2_1_2->n40_a_hedgehog__1_5_4_2_3_3_2_1_2_1 n40_a_hedgehog__1_5_4_2_3_3_2_2->n40_a_hedgehog__1_5_4_2_3_3_2_2_1 n40_a_hedgehog__1_6->n40_a_hedgehog__1_6_1
( (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))