TSPC 40_a_hedgehog

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

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

arc(r_0040_0003__these_r_0040_0005__habitats,r_0040_0004__suburban,attrib).
arc(r_0040_0006__are,r_0040_0001__However,nim).
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__nim).
arc(r_0040_0007__broken_r_0040_0008__up,z_0040_5013___star_,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_0016__into,r_0040_0011__and,inv_arg0).
arc(r_0040_0014__pushing_r_0040_0016__into,r_0040_0015__hedgehogs,arg1).
arc(r_0040_0014__pushing_r_0040_0016__into,r_0040_0019__areas,arg2).
arc(r_0040_0018__small,r_0040_0017__unsuitably,qual).
arc(r_0040_0019__areas,r_0040_0018__small,attrib).

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_0015__HEDGEHOGS,R_0040_0017__UNSUITABLY,R_0040_0018__SMALL,R_0040_0019__AREAS,R_0040_0014__PUSHING_R_0040_0016__INTO,R_0040_0011__AND,Z_0040_5013___STAR_,R_0040_0006__ARE_R_0040_0007__BROKEN_R_0040_0008__UP] :
      ( 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_0040_5013___star_(Z_0040_5013___STAR_)
      & 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_0040_5013___STAR_)
      & has_r_0040_0009__by__nim(R_0040_0006__ARE_R_0040_0007__BROKEN_R_0040_0008__UP,R_0040_0011__AND)
      & r_0040_0011__and(R_0040_0011__AND)
      & has_inv_arg0(R_0040_0011__AND,R_0040_0014__PUSHING_R_0040_0016__INTO)
      & r_0040_0014__pushing_r_0040_0016__into(R_0040_0014__PUSHING_R_0040_0016__INTO)
      & has_arg2(R_0040_0014__PUSHING_R_0040_0016__INTO,R_0040_0019__AREAS)
      & r_0040_0019__areas(R_0040_0019__AREAS)
      & has_attrib(R_0040_0019__AREAS,R_0040_0018__SMALL)
      & r_0040_0018__small(R_0040_0018__SMALL)
      & has_qual(R_0040_0018__SMALL,R_0040_0017__UNSUITABLY)
      & has_arg1(R_0040_0014__PUSHING_R_0040_0016__INTO,R_0040_0015__HEDGEHOGS)
      & has_conj2(R_0040_0011__AND,R_0040_0012__ROADS)
      & has_conj1(R_0040_0011__AND,R_0040_0010__FENCES)
      & 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_attrib(R_0040_0003__THESE_R_0040_0005__HABITATS,R_0040_0004__SUBURBAN)
      & has_nim(R_0040_0006__ARE_R_0040_0007__BROKEN_R_0040_0008__UP,R_0040_0001__HOWEVER) ) ).