arc(r_0047_0002__need, r_0047_0003__to_r_0047_0004__move, scope).
arc(r_0047_0003__to_r_0047_0004__move, r_0047_0001__Hedgehogs, arg0).
arc(r_0047_0003__to_r_0047_0004__move, r_0047_0005__a_r_0047_0007__distance, arg1).
arc(r_0047_0005__a_r_0047_0007__distance, r_0047_0006__surprising, attrib16).
arc(r_0047_0008__to_r_0047_0009__search, r_0047_0001__Hedgehogs, arg0).
arc(r_0047_0008__to_r_0047_0009__search, r_0047_0014__and, r_0047_0010__for_clr30).
arc(r_0047_0014__and, r_0047_0011__food, conj1).
arc(r_0047_0014__and, r_0047_0013__mates, conj2).
arc(r_0047_0014__and, r_0047_0016__sites, conj3).
arc(r_0047_0016__sites, r_0047_0015__nesting, attrib45).
arc(r_0047_0018__so, r_0047_0032__perhaps_r_0047_0033__by, restriction).
arc(r_0047_0018__so, z_000_47_a_hedgehog_21, scope).
arc(r_0047_0020__need, r_0047_0019__we, arg0).
arc(r_0047_0020__need, r_0047_0021__to_r_0047_0022__make, arg1).
arc(r_0047_0021__to_r_0047_0022__make, r_0047_0019__we, arg0).
arc(r_0047_0021__to_r_0047_0022__make, r_0047_0024__easier, prd).
arc(r_0047_0021__to_r_0047_0022__make, r_0047_0025__for_r_0047_0027__to_r_0047_0028__move, arg1).
arc(r_0047_0025__for_r_0047_0027__to_r_0047_0028__move, r_0047_0001__Hedgehogs, arg0).
arc(r_0047_0025__for_r_0047_0027__to_r_0047_0028__move, r_0047_0030__gardens, r_0047_0029__between_clr85).
arc(r_0047_0032__perhaps_r_0047_0033__by, r_0047_0020__need, scope).
arc(r_0047_0032__perhaps_r_0047_0033__by, r_0047_0034__making, restriction).
arc(r_0047_0034__making, r_0047_0019__we, arg0).
arc(r_0047_0034__making, r_0047_0035__holes, arg1).
arc(r_0047_0034__making, r_0047_0037__fences, r_0047_0036__in_nim104).
arc(z_000_47_a_hedgehog_21, r_0047_0002__need, scope).
arc(z_000_47_a_hedgehog_21, r_0047_0008__to_r_0047_0009__search, restriction).

fof(formula,axiom,
    ? [R_47_18_SO,R_47_32_PERHAPS_BY,R_47_34_MAKING,R_47_35_HOLES,R_47_37_FENCES,R_47_20_NEED,R_47_21_TO_MAKE,R_47_19_WE,R_47_25_FOR_TO_MOVE,R_47_30_GARDENS,R_47_24_EASIER,Z_47_A_HEDGEHOG_21,R_47_8_TO_SEARCH,R_47_14_AND,R_47_11_FOOD,R_47_13_MATES,R_47_16_SITES,R_47_15_NESTING,R_47_2_NEED_TO_MOVE,R_47_1_HEDGEHOGS,R_47_5_A_DISTANCE,R_47_6_SURPRISING] :
      ( holes(R_47_35_HOLES)
      & fences(R_47_37_FENCES)
      & we(R_47_19_WE)
      & gardens(R_47_30_GARDENS)
      & easier(R_47_24_EASIER)
      & food(R_47_11_FOOD)
      & mates(R_47_13_MATES)
      & nesting(R_47_15_NESTING)
      & hedgehogs(R_47_1_HEDGEHOGS)
      & surprising(R_47_6_SURPRISING)
      & so(R_47_18_SO)
      & conj1(R_47_18_SO,R_47_32_PERHAPS_BY)
      & perhaps_by(R_47_32_PERHAPS_BY)
      & conj1(R_47_32_PERHAPS_BY,R_47_34_MAKING)
      & making(R_47_34_MAKING,R_47_19_WE,R_47_35_HOLES)
      & in_nim104(R_47_34_MAKING,R_47_37_FENCES)
      & conj2(R_47_32_PERHAPS_BY,R_47_20_NEED)
      & need(R_47_20_NEED,R_47_19_WE,R_47_21_TO_MAKE)
      & to_make(R_47_21_TO_MAKE,R_47_19_WE,R_47_25_FOR_TO_MOVE,R_47_24_EASIER)
      & for_to_move(R_47_25_FOR_TO_MOVE,R_47_1_HEDGEHOGS)
      & between_clr85(R_47_25_FOR_TO_MOVE,R_47_30_GARDENS)
      & conj2(R_47_18_SO,Z_47_A_HEDGEHOG_21)
      & z_47_a_hedgehog_21(Z_47_A_HEDGEHOG_21)
      & conj1(Z_47_A_HEDGEHOG_21,R_47_8_TO_SEARCH)
      & to_search(R_47_8_TO_SEARCH,R_47_1_HEDGEHOGS)
      & for_clr30(R_47_8_TO_SEARCH,R_47_14_AND)
      & and(R_47_14_AND)
      & conj1(R_47_14_AND,R_47_11_FOOD)
      & conj2(R_47_14_AND,R_47_13_MATES)
      & conj3(R_47_14_AND,R_47_16_SITES)
      & sites(R_47_16_SITES)
      & attrib45(R_47_16_SITES,R_47_15_NESTING)
      & conj2(Z_47_A_HEDGEHOG_21,R_47_2_NEED_TO_MOVE)
      & need_to_move(R_47_2_NEED_TO_MOVE,R_47_1_HEDGEHOGS,R_47_5_A_DISTANCE)
      & a_distance(R_47_5_A_DISTANCE)
      & attrib16(R_47_5_A_DISTANCE,R_47_6_SURPRISING) ) ).

( (IP-MAT (ILYR (NP-SBJ;{HEDGEHOGS} (NS Hedgehogs;{hedgehog}))
                (VBP;_cat_Vt_ need;{need})
                (IP-INF-CAT (TO to;{to})
                            (VB;_Tn_ move;{move})
                            (NP-OB1 (D a;{a})
                                    (ADJP (ADJ surprising;{surprising}))
                                    (N distance;{distance})))
                (PP-SCON (IP-INF (TO to;{to})
                                 (VB;_Ipr_ search;{search[for]})
                                 (PP-CLR (P-ROLE for;{for})
                                         (NP (NLYR (NLYR (N food;{food}))
                                                   (PUNC ,)
                                                   (CONJP (NLYR (NS mates;{mate})))
                                                   (CONJP (CONJ and;{and})
                                                          (NLYR (ADJP (ADJ nesting;{nesting}))
                                                                (NS sites;{site})))))))))
          (PUNC ,)
          (PP-SCON (P-CONN so;{so})
                   (IP-ADV (NP-SBJ (PRO we;{we}))
                           (VBP;_Tt_ need;{need})
                           (IP-INF-OB1 (TO to;{to})
                                       (VB;_Cn.a_ make;{make})
                                       (NP-OB1 (PRO;_provisional_ it;{it}))
                                       (ADJP-PRD (ADJR easier;{easy}))
                                       (IP-INF-NOB1 (P-CONN for;{for})
                                                    (NP-SBJ;{HEDGEHOGS} (PRO them;{they}))
                                                    (TO to;{to})
                                                    (VB;_Ipr_ move;{move[between]})
                                                    (PP-CLR (P-ROLE between;{between})
                                                            (NP (NS gardens;{garden})))))
                           (PUNC ,)
                           (PP-SCON (ADV perhaps;{perhaps})
                                    (P-CONN by;{by})
                                    (IP-PPL2 (VAG;_Tn_ making;{make})
                                             (NP-OB1 (NS holes;{hole}))
                                             (PP-NIM (P-ROLE in;{in})
                                                     (NP (NS fences;{fence})))))))
          (PUNC .))
  (ID 47_a_hedgehog;speaker=Colvile))