TSPC 83_a_hedgehog

83_a_hedgehog
When new garden fences are installed there are “hedgehog-friendly” options, such as a small hole so that hedgehogs do not become trapped in gardens, and I urge people to consider those in future.

( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ (ADJP (ADJ new;{new}))
                                   (N garden;{garden})
                                   (NS fences;{fence}))
                           (BEP;_cat_VePASS_ are;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn_ installed;{instal}))))
          (ILYR (ILYR (EX there;{there})
                      (BEP;_ex_V_ are;{be})
                      (NP-ESBJ;{OPTIONS} (PULQ <ldquo>)
                                         (ADJP (ADJ hedgehog_<hyphen>_friendly;{hedgehog_friendly}))
                                         (PURQ <rdquo>)
                                         (NS options;{option})
                                         (PUNC ,)
                                         (PP (P-ROLE such_as;{such_as})
                                             (NP (D a;{a})
                                                 (ADJP (ADJ small;{small}))
                                                 (N hole;{hole}))))
                      (PP-SCON (P-CONN so_that;{so_that})
                               (IP-ADV (NP-SBJ (NS hedgehogs;{hedgehog}))
                                       (DOP do;{do})
                                       (NEG not;{not})
                                       (VB;_cat_VePASS_ become;{become})
                                       (IP-PPL-CAT (NP-LGS *)
                                                   (VVN;_Tn.pr_ trapped;{trap})
                                                   (PP-NIM (P-ROLE in;{in})
                                                           (NP (NS gardens;{garden})))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO I;{I}))
                             (VBP;_Cn.t_ urge;{urge})
                             (NP-OB1 (NS people;{people}))
                             (IP-INF-PRD (TO to;{to})
                                         (VB;_Tn_ consider;{consider})
                                         (NP-OB1;{OPTIONS} (D;_nphd_ those;{those}))
                                         (PP-NIM (P-ROLE in;{in})
                                                 (NP (N future;{future})))))))
          (PUNC .))
  (ID 83_a_hedgehog;speaker=Colvile))

arc(r_0083_0001__When,r_0083_0005__are,restriction).
arc(r_0083_0001__When,r_0083_0027__and,scope).
arc(r_0083_0003__garden_r_0083_0004__fences,r_0083_0002__new,attrib).
arc(r_0083_0005__are,r_0083_0006__installed,scope).
arc(r_0083_0006__installed,r_0083_0003__garden_r_0083_0004__fences,arg1).
arc(r_0083_0006__installed,z_0083_5005___star_,arg0).
arc(r_0083_0008__are,r_0083_0012__options,arg0).
arc(r_0083_0012__options,r_0083_0010__hedgehog__hyphen__friendly,attrib).
arc(r_0083_0012__options,r_0083_0015__a_r_0083_0017__hole,r_0083_0014__such_as).
arc(r_0083_0015__a_r_0083_0017__hole,r_0083_0016__small,attrib).
arc(r_0083_0018__so_that,r_0083_0008__are,scope).
arc(r_0083_0018__so_that,r_0083_0021__not,restriction).
arc(r_0083_0020__do_r_0083_0022__become,r_0083_0023__trapped,scope).
arc(r_0083_0021__not,r_0083_0020__do_r_0083_0022__become,keep_scope).
arc(r_0083_0023__trapped,r_0083_0019__hedgehogs,arg1).
arc(r_0083_0023__trapped,r_0083_0025__gardens,r_0083_0024__in__nim).
arc(r_0083_0023__trapped,z_0083_5012___star_,arg0).
arc(r_0083_0027__and,r_0083_0018__so_that,conj1).
arc(r_0083_0027__and,r_0083_0029__urge,conj2).
arc(r_0083_0029__urge,r_0083_0028__I,arg0).
arc(r_0083_0029__urge,r_0083_0030__people,arg1).
arc(r_0083_0029__urge,r_0083_0032__consider,prd).
arc(r_0083_0032__consider,r_0083_0012__options,arg1).
arc(r_0083_0032__consider,r_0083_0035__future,r_0083_0034__in__nim).
arc(r_0083_0032__consider,z_0083_5024,arg0).

fof(formula,axiom,
    ! [R_0083_0005__ARE_R_0083_0006__INSTALLED,R_0083_0002__NEW,R_0083_0003__GARDEN_R_0083_0004__FENCES,Z_0083_5005___STAR_] :
      ( ( r_0083_0002__new(R_0083_0002__NEW)
        & z_0083_5005___star_(Z_0083_5005___STAR_)
        & r_0083_0005__are_r_0083_0006__installed(R_0083_0005__ARE_R_0083_0006__INSTALLED)
        & has_arg0(R_0083_0005__ARE_R_0083_0006__INSTALLED,Z_0083_5005___STAR_)
        & has_arg1(R_0083_0005__ARE_R_0083_0006__INSTALLED,R_0083_0003__GARDEN_R_0083_0004__FENCES)
        & r_0083_0003__garden_r_0083_0004__fences(R_0083_0003__GARDEN_R_0083_0004__FENCES)
        & has_attrib(R_0083_0003__GARDEN_R_0083_0004__FENCES,R_0083_0002__NEW) )
     => ? [R_0083_0010__HEDGEHOG__HYPHEN__FRIENDLY,R_0083_0016__SMALL,R_0083_0015__A_R_0083_0017__HOLE,R_0083_0012__OPTIONS,R_0083_0008__ARE,R_0083_0018__SO_THAT,R_0083_0028__I,R_0083_0030__PEOPLE,R_0083_0035__FUTURE,Z_0083_5024,R_0083_0032__CONSIDER,R_0083_0029__URGE,R_0083_0027__AND] :
          ( r_0083_0010__hedgehog__hyphen__friendly(R_0083_0010__HEDGEHOG__HYPHEN__FRIENDLY)
          & r_0083_0016__small(R_0083_0016__SMALL)
          & r_0083_0028__I(R_0083_0028__I)
          & r_0083_0030__people(R_0083_0030__PEOPLE)
          & r_0083_0035__future(R_0083_0035__FUTURE)
          & z_0083_5024(Z_0083_5024)
          & r_0083_0027__and(R_0083_0027__AND)
          & has_conj2(R_0083_0027__AND,R_0083_0029__URGE)
          & r_0083_0029__urge(R_0083_0029__URGE)
          & has_prd(R_0083_0029__URGE,R_0083_0032__CONSIDER)
          & r_0083_0032__consider(R_0083_0032__CONSIDER)
          & has_arg0(R_0083_0032__CONSIDER,Z_0083_5024)
          & has_r_0083_0034__in__nim(R_0083_0032__CONSIDER,R_0083_0035__FUTURE)
          & has_arg1(R_0083_0032__CONSIDER,R_0083_0012__OPTIONS)
          & r_0083_0012__options(R_0083_0012__OPTIONS)
          & has_r_0083_0014__such_as(R_0083_0012__OPTIONS,R_0083_0015__A_R_0083_0017__HOLE)
          & r_0083_0015__a_r_0083_0017__hole(R_0083_0015__A_R_0083_0017__HOLE)
          & has_attrib(R_0083_0015__A_R_0083_0017__HOLE,R_0083_0016__SMALL)
          & has_attrib(R_0083_0012__OPTIONS,R_0083_0010__HEDGEHOG__HYPHEN__FRIENDLY)
          & has_arg1(R_0083_0029__URGE,R_0083_0030__PEOPLE)
          & has_arg0(R_0083_0029__URGE,R_0083_0028__I)
          & has_conj1(R_0083_0027__AND,R_0083_0018__SO_THAT)
          & r_0083_0018__so_that(R_0083_0018__SO_THAT)
          & has_conj1(R_0083_0018__SO_THAT,R_0083_0021__NOT)
          & ~ ? [R_0083_0019__HEDGEHOGS,R_0083_0025__GARDENS,Z_0083_5012___STAR_,R_0083_0020__DO_R_0083_0022__BECOME_R_0083_0023__TRAPPED] :
                ( r_0083_0019__hedgehogs(R_0083_0019__HEDGEHOGS)
                & r_0083_0025__gardens(R_0083_0025__GARDENS)
                & z_0083_5012___star_(Z_0083_5012___STAR_)
                & r_0083_0020__do_r_0083_0022__become_r_0083_0023__trapped(R_0083_0020__DO_R_0083_0022__BECOME_R_0083_0023__TRAPPED)
                & has_arg0(R_0083_0020__DO_R_0083_0022__BECOME_R_0083_0023__TRAPPED,Z_0083_5012___STAR_)
                & has_r_0083_0024__in__nim(R_0083_0020__DO_R_0083_0022__BECOME_R_0083_0023__TRAPPED,R_0083_0025__GARDENS)
                & has_arg1(R_0083_0020__DO_R_0083_0022__BECOME_R_0083_0023__TRAPPED,R_0083_0019__HEDGEHOGS) )
          & has_conj2(R_0083_0018__SO_THAT,R_0083_0008__ARE)
          & r_0083_0008__are(R_0083_0008__ARE)
          & has_arg0(R_0083_0008__ARE,R_0083_0012__OPTIONS) ) ) ).