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

arc(r_0047_0002__need,r_0047_0004__move,scope).
arc(r_0047_0004__move,r_0047_0001__Hedgehogs,arg0).
arc(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,attrib).
arc(r_0047_0009__search_r_0047_0010__for,r_0047_0001__Hedgehogs,arg0).
arc(r_0047_0009__search_r_0047_0010__for,r_0047_0014__and,arg1).
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,attrib).
arc(r_0047_0018__so,r_0047_0032__perhaps_r_0047_0033__by,restriction).
arc(r_0047_0018__so,z_0047_5015,scope).
arc(r_0047_0020__need,r_0047_0019__we,arg0).
arc(r_0047_0020__need,r_0047_0022__make,arg1).
arc(r_0047_0022__make,r_0047_0019__we,arg0).
arc(r_0047_0022__make,r_0047_0024__easier,prd).
arc(r_0047_0022__make,r_0047_0028__move_r_0047_0029__between,arg1).
arc(r_0047_0028__move_r_0047_0029__between,r_0047_0001__Hedgehogs,arg0).
arc(r_0047_0028__move_r_0047_0029__between,r_0047_0030__gardens,arg1).
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__nim).
arc(z_0047_5015,r_0047_0002__need,scope).
arc(z_0047_5015,r_0047_0009__search_r_0047_0010__for,restriction).

fof(formula,axiom,
    ? [R_0047_0019__WE,R_0047_0024__EASIER,R_0047_0001__HEDGEHOGS,R_0047_0030__GARDENS,R_0047_0028__MOVE_R_0047_0029__BETWEEN,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_0004__MOVE,R_0047_0011__FOOD,R_0047_0013__MATES,R_0047_0015__NESTING,R_0047_0016__SITES,R_0047_0014__AND,R_0047_0009__SEARCH_R_0047_0010__FOR,Z_0047_5015,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_0047_5015)
      & z_0047_5015(Z_0047_5015)
      & has_conj1(Z_0047_5015,R_0047_0009__SEARCH_R_0047_0010__FOR)
      & r_0047_0009__search_r_0047_0010__for(R_0047_0009__SEARCH_R_0047_0010__FOR)
      & has_arg1(R_0047_0009__SEARCH_R_0047_0010__FOR,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_attrib(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_0009__SEARCH_R_0047_0010__FOR,R_0047_0001__HEDGEHOGS)
      & has_conj2(Z_0047_5015,R_0047_0002__NEED_R_0047_0004__MOVE)
      & r_0047_0002__need_r_0047_0004__move(R_0047_0002__NEED_R_0047_0004__MOVE)
      & has_arg1(R_0047_0002__NEED_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_attrib(R_0047_0005__A_R_0047_0007__DISTANCE,R_0047_0006__SURPRISING)
      & has_arg0(R_0047_0002__NEED_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__nim(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_0022__MAKE)
      & r_0047_0022__make(R_0047_0022__MAKE)
      & has_arg1(R_0047_0022__MAKE,R_0047_0028__MOVE_R_0047_0029__BETWEEN)
      & r_0047_0028__move_r_0047_0029__between(R_0047_0028__MOVE_R_0047_0029__BETWEEN)
      & has_arg1(R_0047_0028__MOVE_R_0047_0029__BETWEEN,R_0047_0030__GARDENS)
      & has_arg0(R_0047_0028__MOVE_R_0047_0029__BETWEEN,R_0047_0001__HEDGEHOGS)
      & has_prd(R_0047_0022__MAKE,R_0047_0024__EASIER)
      & has_arg0(R_0047_0022__MAKE,R_0047_0019__WE)
      & has_arg0(R_0047_0020__NEED,R_0047_0019__WE) ) ).