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, attrib7).
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_000_83_a_hedgehog_17, arg0).
arc(r_0083_0007__there_r_0083_0008__are, r_0083_0012__options, arg0).
arc(r_0083_0012__options, r_0083_0010__hedgehog__hyphen__friendly, attrib30).
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, attrib45).
arc(r_0083_0018__so_that, r_0083_0007__there_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_nim71).
arc(r_0083_0023__trapped, z_000_83_a_hedgehog_64, 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_0031__to_r_0083_0032__consider, prd).
arc(r_0083_0031__to_r_0083_0032__consider, r_0083_0033__those, arg1).
arc(r_0083_0031__to_r_0083_0032__consider, r_0083_0035__future, r_0083_0034__in_nim99).
arc(r_0083_0031__to_r_0083_0032__consider, x_000_83_a_hedgehog_88, arg0).

fof(formula,axiom,
    ! [R_83_5_ARE_INSTALLED,Z_83_A_HEDGEHOG_17,R_83_3_GARDEN_FENCES,R_83_2_NEW] :
      ( ( new(R_83_2_NEW)
        & are_installed(R_83_5_ARE_INSTALLED,Z_83_A_HEDGEHOG_17,R_83_3_GARDEN_FENCES)
        & garden_fences(R_83_3_GARDEN_FENCES)
        & attrib7(R_83_3_GARDEN_FENCES,R_83_2_NEW) )
     => ? [R_83_27_AND,R_83_18_SO_THAT,R_83_7_THERE_ARE,R_83_12_OPTIONS,R_83_10_HEDGEHOG_HYPHEN_FRIENDLY,R_83_15_A_HOLE,R_83_16_SMALL,R_83_29_URGE,R_83_28_I,R_83_30_PEOPLE,R_83_31_TO_CONSIDER,X_83_A_HEDGEHOG_88,R_83_33_THOSE,R_83_35_FUTURE] :
          ( hedgehog_hyphen_friendly(R_83_10_HEDGEHOG_HYPHEN_FRIENDLY)
          & small(R_83_16_SMALL)
          & i(R_83_28_I)
          & people(R_83_30_PEOPLE)
          & those(R_83_33_THOSE)
          & future(R_83_35_FUTURE)
          & and(R_83_27_AND)
          & conj1(R_83_27_AND,R_83_18_SO_THAT)
          & so_that(R_83_18_SO_THAT)
          & conj1(R_83_18_SO_THAT,R_83_21_NOT)
          & ~ ? [R_83_20_DO_BECOME_TRAPPED,Z_83_A_HEDGEHOG_64,R_83_19_HEDGEHOGS,R_83_25_GARDENS] :
                ( hedgehogs(R_83_19_HEDGEHOGS)
                & gardens(R_83_25_GARDENS)
                & do_become_trapped(R_83_20_DO_BECOME_TRAPPED,Z_83_A_HEDGEHOG_64,R_83_19_HEDGEHOGS)
                & in_nim71(R_83_20_DO_BECOME_TRAPPED,R_83_25_GARDENS) )
          & conj2(R_83_18_SO_THAT,R_83_7_THERE_ARE)
          & there_are(R_83_7_THERE_ARE,R_83_12_OPTIONS)
          & options(R_83_12_OPTIONS)
          & attrib30(R_83_12_OPTIONS,R_83_10_HEDGEHOG_HYPHEN_FRIENDLY)
          & such_as(R_83_12_OPTIONS,R_83_15_A_HOLE)
          & a_hole(R_83_15_A_HOLE)
          & attrib45(R_83_15_A_HOLE,R_83_16_SMALL)
          & conj2(R_83_27_AND,R_83_29_URGE)
          & urge(R_83_29_URGE,R_83_28_I,R_83_30_PEOPLE,R_83_31_TO_CONSIDER)
          & to_consider(R_83_31_TO_CONSIDER,X_83_A_HEDGEHOG_88,R_83_33_THOSE)
          & in_nim99(R_83_31_TO_CONSIDER,R_83_35_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))