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_0047_0019__WE,R_0047_0024__EASIER,R_0047_0001__HEDGEHOGS,R_0047_0030__GARDENS,R_0047_0025__FOR_R_0047_0027__TO_R_0047_0028__MOVE,R_0047_0021__TO_R_0047_0022__MAKE,R_0047_0020__NEED,R_0047_0035__HOLES,R_0047_0037__FENCES,R_0047_0034__MAKING,R_0047_0032__PERHAPS_R_0047_0033__BY,R_0047_0006__SURPRISING,R_0047_0005__A_R_0047_0007__DISTANCE,R_0047_0002__NEED_R_0047_0003__TO_R_0047_0004__MOVE,R_0047_0011__FOOD,R_0047_0013__MATES,R_0047_0015__NESTING,R_0047_0016__SITES,R_0047_0014__AND,R_0047_0008__TO_R_0047_0009__SEARCH,Z_000_47_A_HEDGEHOG_21,R_0047_0018__SO] :
      ( r_0047_0001__Hedgehogs(R_0047_0001__HEDGEHOGS)
      & r_0047_0006__surprising(R_0047_0006__SURPRISING)
      & r_0047_0011__food(R_0047_0011__FOOD)
      & r_0047_0013__mates(R_0047_0013__MATES)
      & r_0047_0015__nesting(R_0047_0015__NESTING)
      & r_0047_0019__we(R_0047_0019__WE)
      & r_0047_0024__easier(R_0047_0024__EASIER)
      & r_0047_0030__gardens(R_0047_0030__GARDENS)
      & r_0047_0035__holes(R_0047_0035__HOLES)
      & r_0047_0037__fences(R_0047_0037__FENCES)
      & r_0047_0018__so(R_0047_0018__SO)
      & has_conj2(R_0047_0018__SO,Z_000_47_A_HEDGEHOG_21)
      & z_000_47_a_hedgehog_21(Z_000_47_A_HEDGEHOG_21)
      & has_conj1(Z_000_47_A_HEDGEHOG_21,R_0047_0008__TO_R_0047_0009__SEARCH)
      & r_0047_0008__to_r_0047_0009__search(R_0047_0008__TO_R_0047_0009__SEARCH)
      & has_r_0047_0010__for_clr30(R_0047_0008__TO_R_0047_0009__SEARCH,R_0047_0014__AND)
      & r_0047_0014__and(R_0047_0014__AND)
      & has_conj3(R_0047_0014__AND,R_0047_0016__SITES)
      & r_0047_0016__sites(R_0047_0016__SITES)
      & has_attrib45(R_0047_0016__SITES,R_0047_0015__NESTING)
      & has_conj2(R_0047_0014__AND,R_0047_0013__MATES)
      & has_conj1(R_0047_0014__AND,R_0047_0011__FOOD)
      & has_arg0(R_0047_0008__TO_R_0047_0009__SEARCH,R_0047_0001__HEDGEHOGS)
      & has_conj2(Z_000_47_A_HEDGEHOG_21,R_0047_0002__NEED_R_0047_0003__TO_R_0047_0004__MOVE)
      & r_0047_0002__need_r_0047_0003__to_r_0047_0004__move(R_0047_0002__NEED_R_0047_0003__TO_R_0047_0004__MOVE)
      & has_arg1(R_0047_0002__NEED_R_0047_0003__TO_R_0047_0004__MOVE,R_0047_0005__A_R_0047_0007__DISTANCE)
      & r_0047_0005__a_r_0047_0007__distance(R_0047_0005__A_R_0047_0007__DISTANCE)
      & has_attrib16(R_0047_0005__A_R_0047_0007__DISTANCE,R_0047_0006__SURPRISING)
      & has_arg0(R_0047_0002__NEED_R_0047_0003__TO_R_0047_0004__MOVE,R_0047_0001__HEDGEHOGS)
      & has_conj1(R_0047_0018__SO,R_0047_0032__PERHAPS_R_0047_0033__BY)
      & r_0047_0032__perhaps_r_0047_0033__by(R_0047_0032__PERHAPS_R_0047_0033__BY)
      & has_conj1(R_0047_0032__PERHAPS_R_0047_0033__BY,R_0047_0034__MAKING)
      & r_0047_0034__making(R_0047_0034__MAKING)
      & has_r_0047_0036__in_nim104(R_0047_0034__MAKING,R_0047_0037__FENCES)
      & has_arg1(R_0047_0034__MAKING,R_0047_0035__HOLES)
      & has_arg0(R_0047_0034__MAKING,R_0047_0019__WE)
      & has_conj2(R_0047_0032__PERHAPS_R_0047_0033__BY,R_0047_0020__NEED)
      & r_0047_0020__need(R_0047_0020__NEED)
      & has_arg1(R_0047_0020__NEED,R_0047_0021__TO_R_0047_0022__MAKE)
      & r_0047_0021__to_r_0047_0022__make(R_0047_0021__TO_R_0047_0022__MAKE)
      & has_arg1(R_0047_0021__TO_R_0047_0022__MAKE,R_0047_0025__FOR_R_0047_0027__TO_R_0047_0028__MOVE)
      & r_0047_0025__for_r_0047_0027__to_r_0047_0028__move(R_0047_0025__FOR_R_0047_0027__TO_R_0047_0028__MOVE)
      & has_r_0047_0029__between_clr85(R_0047_0025__FOR_R_0047_0027__TO_R_0047_0028__MOVE,R_0047_0030__GARDENS)
      & has_arg0(R_0047_0025__FOR_R_0047_0027__TO_R_0047_0028__MOVE,R_0047_0001__HEDGEHOGS)
      & has_prd(R_0047_0021__TO_R_0047_0022__MAKE,R_0047_0024__EASIER)
      & has_arg0(R_0047_0021__TO_R_0047_0022__MAKE,R_0047_0019__WE)
      & has_arg0(R_0047_0020__NEED,R_0047_0019__WE) ) ).

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