( (IP-MAT (PP-SCON (IP-PPL2 (VAG;_Ipr_ Thinking;{think[about]})
                            (PP-CLR (P-ROLE about;{about})
                                    (NP (N wildlife;{wildlife})
                                        (N gardening;{gardening})))))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (VBP;_Tw_ wonder;{wonder})
          (CP-QUE-OB1 (IP-SUB (WQ if;{if})
                              (NP-SBJ;{COLVILE} (PRO he;{he}))
                              (MD;_cat_Vi_ might;{may})
                              (IP-INF-CAT (VB;_Tn_ make;{make})
                                          (NP-OB1 (D a;{a})
                                                  (N hole;{hole}))
                                          (PP-NIM (P-ROLE in;{in})
                                                  (NP (NP-GEN;{COLVILE} (PRO;_genm_ his;{his}))
                                                      (N garden;{garden})
                                                      (N fence;{fence}))))
                              (PP-SCON (P-CONN so_that;{so_that})
                                       (IP-ADV (NP-SBJ (D the;{the})
                                                       (NS hedgehogs;{hedgehog}))
                                               (MD;_cat_Vi_ can;{can})
                                               (IP-INF-CAT (VB;_Ip_ run;{run[through]})
                                                           (ADVP-CLR (RP through;{through})))
                                               (PP-SCON (IP-INF (TO to;{to})
                                                                (VB;_Tn_ find;{find})
                                                                (NP-OB1 (D a;{a})
                                                                        (N mate;{mate})))))))
                      (PUNC ?)))
  (ID 43_a_hedgehog;speaker=Pow))

arc(r_0043_0001__Thinking_r_0043_0002__about,r_0043_0003__wildlife_r_0043_0004__gardening,arg1).
arc(r_0043_0001__Thinking_r_0043_0002__about,r_0043_0006__I,arg0).
arc(r_0043_0007__wonder,r_0043_0006__I,arg0).
arc(r_0043_0007__wonder,r_0043_0008__if,arg1).
arc(r_0043_0008__if,r_0043_0018__so_that,keep_scope).
arc(r_0043_0010__might,r_0043_0011__make,scope).
arc(r_0043_0011__make,r_0043_0009__he,arg0).
arc(r_0043_0011__make,r_0043_0012__a_r_0043_0013__hole,arg1).
arc(r_0043_0011__make,r_0043_0016__garden_r_0043_0017__fence,r_0043_0014__in__nim).
arc(r_0043_0016__garden_r_0043_0017__fence,r_0043_0009__he,gen).
arc(r_0043_0018__so_that,r_0043_0010__might,scope).
arc(r_0043_0018__so_that,z_0043_5009,restriction).
arc(r_0043_0021__can,r_0043_0022__run_r_0043_0023__through,scope).
arc(r_0043_0022__run_r_0043_0023__through,r_0043_0019__the_r_0043_0020__hedgehogs,arg0).
arc(r_0043_0025__find,r_0043_0019__the_r_0043_0020__hedgehogs,arg0).
arc(r_0043_0025__find,r_0043_0026__a_r_0043_0027__mate,arg1).
arc(z_0043_5001,r_0043_0001__Thinking_r_0043_0002__about,restriction).
arc(z_0043_5001,r_0043_0007__wonder,scope).
arc(z_0043_5009,r_0043_0021__can,scope).
arc(z_0043_5009,r_0043_0025__find,restriction).

fof(formula,axiom,
    ? [R_0043_0003__WILDLIFE_R_0043_0004__GARDENING,R_0043_0006__I,R_0043_0001__THINKING_R_0043_0002__ABOUT,R_0043_0009__HE,R_0043_0012__A_R_0043_0013__HOLE,R_0043_0016__GARDEN_R_0043_0017__FENCE,R_0043_0010__MIGHT_R_0043_0011__MAKE,R_0043_0019__THE_R_0043_0020__HEDGEHOGS,R_0043_0021__CAN_R_0043_0022__RUN_R_0043_0023__THROUGH,R_0043_0026__A_R_0043_0027__MATE,R_0043_0025__FIND,Z_0043_5009,R_0043_0018__SO_THAT,R_0043_0008__IF,R_0043_0007__WONDER,Z_0043_5001] :
      ( r_0043_0003__wildlife_r_0043_0004__gardening(R_0043_0003__WILDLIFE_R_0043_0004__GARDENING)
      & r_0043_0006__I(R_0043_0006__I)
      & r_0043_0009__he(R_0043_0009__HE)
      & r_0043_0012__a_r_0043_0013__hole(R_0043_0012__A_R_0043_0013__HOLE)
      & r_0043_0019__the_r_0043_0020__hedgehogs(R_0043_0019__THE_R_0043_0020__HEDGEHOGS)
      & r_0043_0026__a_r_0043_0027__mate(R_0043_0026__A_R_0043_0027__MATE)
      & z_0043_5001(Z_0043_5001)
      & has_conj2(Z_0043_5001,R_0043_0007__WONDER)
      & r_0043_0007__wonder(R_0043_0007__WONDER)
      & has_arg1(R_0043_0007__WONDER,R_0043_0008__IF)
      & r_0043_0008__if(R_0043_0008__IF)
      & has_keep_scope(R_0043_0008__IF,R_0043_0018__SO_THAT)
      & r_0043_0018__so_that(R_0043_0018__SO_THAT)
      & has_conj1(R_0043_0018__SO_THAT,Z_0043_5009)
      & z_0043_5009(Z_0043_5009)
      & has_conj1(Z_0043_5009,R_0043_0025__FIND)
      & r_0043_0025__find(R_0043_0025__FIND)
      & has_arg1(R_0043_0025__FIND,R_0043_0026__A_R_0043_0027__MATE)
      & has_arg0(R_0043_0025__FIND,R_0043_0019__THE_R_0043_0020__HEDGEHOGS)
      & has_conj2(Z_0043_5009,R_0043_0021__CAN_R_0043_0022__RUN_R_0043_0023__THROUGH)
      & r_0043_0021__can_r_0043_0022__run_r_0043_0023__through(R_0043_0021__CAN_R_0043_0022__RUN_R_0043_0023__THROUGH)
      & has_arg0(R_0043_0021__CAN_R_0043_0022__RUN_R_0043_0023__THROUGH,R_0043_0019__THE_R_0043_0020__HEDGEHOGS)
      & has_conj2(R_0043_0018__SO_THAT,R_0043_0010__MIGHT_R_0043_0011__MAKE)
      & r_0043_0010__might_r_0043_0011__make(R_0043_0010__MIGHT_R_0043_0011__MAKE)
      & has_r_0043_0014__in__nim(R_0043_0010__MIGHT_R_0043_0011__MAKE,R_0043_0016__GARDEN_R_0043_0017__FENCE)
      & r_0043_0016__garden_r_0043_0017__fence(R_0043_0016__GARDEN_R_0043_0017__FENCE)
      & has_gen(R_0043_0016__GARDEN_R_0043_0017__FENCE,R_0043_0009__HE)
      & has_arg1(R_0043_0010__MIGHT_R_0043_0011__MAKE,R_0043_0012__A_R_0043_0013__HOLE)
      & has_arg0(R_0043_0010__MIGHT_R_0043_0011__MAKE,R_0043_0009__HE)
      & has_arg0(R_0043_0007__WONDER,R_0043_0006__I)
      & has_conj1(Z_0043_5001,R_0043_0001__THINKING_R_0043_0002__ABOUT)
      & r_0043_0001__Thinking_r_0043_0002__about(R_0043_0001__THINKING_R_0043_0002__ABOUT)
      & has_arg0(R_0043_0001__THINKING_R_0043_0002__ABOUT,R_0043_0006__I)
      & has_arg1(R_0043_0001__THINKING_R_0043_0002__ABOUT,R_0043_0003__WILDLIFE_R_0043_0004__GARDENING) ) ).