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_0040_0001__HOWEVER,R_0040_0004__SUBURBAN,R_0040_0003__THESE_R_0040_0005__HABITATS,R_0040_0010__FENCES,R_0040_0012__ROADS,R_0040_0011__AND,Z_000_40_A_HEDGEHOG_18,R_0040_0006__ARE_R_0040_0007__BROKEN_R_0040_0008__UP,R_0040_0015__HEDGEHOGS,R_0040_0017__UNSUITABLY,R_0040_0018__SMALL,R_0040_0019__AREAS,R_0040_0014__PUSHING] :
      ( r_0040_0001__However(R_0040_0001__HOWEVER)
      & r_0040_0004__suburban(R_0040_0004__SUBURBAN)
      & r_0040_0010__fences(R_0040_0010__FENCES)
      & r_0040_0012__roads(R_0040_0012__ROADS)
      & r_0040_0015__hedgehogs(R_0040_0015__HEDGEHOGS)
      & r_0040_0017__unsuitably(R_0040_0017__UNSUITABLY)
      & z_000_40_a_hedgehog_18(Z_000_40_A_HEDGEHOG_18)
      & r_0040_0014__pushing(R_0040_0014__PUSHING)
      & has_r_0040_0016__into_clr49(R_0040_0014__PUSHING,R_0040_0019__AREAS)
      & r_0040_0019__areas(R_0040_0019__AREAS)
      & has_attrib50(R_0040_0019__AREAS,R_0040_0018__SMALL)
      & r_0040_0018__small(R_0040_0018__SMALL)
      & has_qual51(R_0040_0018__SMALL,R_0040_0017__UNSUITABLY)
      & has_arg1(R_0040_0014__PUSHING,R_0040_0015__HEDGEHOGS)
      & has_arg0(R_0040_0014__PUSHING,R_0040_0011__AND)
      & r_0040_0011__and(R_0040_0011__AND)
      & has_conj2(R_0040_0011__AND,R_0040_0012__ROADS)
      & has_conj1(R_0040_0011__AND,R_0040_0010__FENCES)
      & r_0040_0006__are_r_0040_0007__broken_r_0040_0008__up(R_0040_0006__ARE_R_0040_0007__BROKEN_R_0040_0008__UP)
      & has_arg0(R_0040_0006__ARE_R_0040_0007__BROKEN_R_0040_0008__UP,Z_000_40_A_HEDGEHOG_18)
      & has_r_0040_0009__by_nim27(R_0040_0006__ARE_R_0040_0007__BROKEN_R_0040_0008__UP,R_0040_0011__AND)
      & has_arg1(R_0040_0006__ARE_R_0040_0007__BROKEN_R_0040_0008__UP,R_0040_0003__THESE_R_0040_0005__HABITATS)
      & r_0040_0003__these_r_0040_0005__habitats(R_0040_0003__THESE_R_0040_0005__HABITATS)
      & has_attrib10(R_0040_0003__THESE_R_0040_0005__HABITATS,R_0040_0004__SUBURBAN)
      & has_nim2(R_0040_0006__ARE_R_0040_0007__BROKEN_R_0040_0008__UP,R_0040_0001__HOWEVER) ) ).

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