43_a_hedgehog
Thinking about wildlife gardening, I wonder if he might make a hole in his garden fence so that the hedgehogs can run through to find a mate?

%3 r_0043_0001__Thinking Thinking r_0043_0003__wildlife_r_0043_0004__gardening wildlife gardening r_0043_0001__Thinking->r_0043_0003__wildlife_r_0043_0004__gardening about [clr] r_0043_0006__I I r_0043_0001__Thinking->r_0043_0006__I [arg0] r_0043_0007__wonder wonder r_0043_0007__wonder->r_0043_0006__I [arg0] r_0043_0018__so_that so that r_0043_0007__wonder->r_0043_0018__so_that [arg1] r_0043_0008__if_r_0043_0010__might if might r_0043_0018__so_that->r_0043_0008__if_r_0043_0010__might [scope] z_000_43_a_hedgehog_66 r_0043_0018__so_that->z_000_43_a_hedgehog_66 [restriction] r_0043_0011__make make r_0043_0008__if_r_0043_0010__might->r_0043_0011__make [scope] r_0043_0009__he he r_0043_0011__make->r_0043_0009__he [arg0] r_0043_0012__a_r_0043_0013__hole a hole r_0043_0011__make->r_0043_0012__a_r_0043_0013__hole [arg1] r_0043_0016__garden_r_0043_0017__fence garden fence r_0043_0011__make->r_0043_0016__garden_r_0043_0017__fence in [nim] r_0043_0016__garden_r_0043_0017__fence->r_0043_0009__he [gen] r_0043_0021__can can z_000_43_a_hedgehog_66->r_0043_0021__can [scope] r_0043_0024__to_r_0043_0025__find to find z_000_43_a_hedgehog_66->r_0043_0024__to_r_0043_0025__find [restriction] r_0043_0022__run run r_0043_0021__can->r_0043_0022__run [scope] r_0043_0019__the_r_0043_0020__hedgehogs the hedgehogs r_0043_0022__run->r_0043_0019__the_r_0043_0020__hedgehogs [arg0] r_0043_0023__through through r_0043_0022__run->r_0043_0023__through [clr] r_0043_0024__to_r_0043_0025__find->r_0043_0019__the_r_0043_0020__hedgehogs [arg0] r_0043_0026__a_r_0043_0027__mate a mate r_0043_0024__to_r_0043_0025__find->r_0043_0026__a_r_0043_0027__mate [arg1] z_000_43_a_hedgehog_2 z_000_43_a_hedgehog_2->r_0043_0001__Thinking [restriction] z_000_43_a_hedgehog_2->r_0043_0007__wonder [scope]
arc(r_0043_0001__Thinking, r_0043_0003__wildlife_r_0043_0004__gardening, r_0043_0002__about_clr9).
arc(r_0043_0001__Thinking, r_0043_0006__I, arg0).
arc(r_0043_0007__wonder, r_0043_0006__I, arg0).
arc(r_0043_0007__wonder, r_0043_0018__so_that, arg1).
arc(r_0043_0008__if_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_nim41).
arc(r_0043_0016__garden_r_0043_0017__fence, r_0043_0009__he, gen).
arc(r_0043_0018__so_that, r_0043_0008__if_r_0043_0010__might, scope).
arc(r_0043_0018__so_that, z_000_43_a_hedgehog_66, restriction).
arc(r_0043_0021__can, r_0043_0022__run, scope).
arc(r_0043_0022__run, r_0043_0019__the_r_0043_0020__hedgehogs, arg0).
arc(r_0043_0022__run, r_0043_0023__through, clr63).
arc(r_0043_0024__to_r_0043_0025__find, r_0043_0019__the_r_0043_0020__hedgehogs, arg0).
arc(r_0043_0024__to_r_0043_0025__find, r_0043_0026__a_r_0043_0027__mate, arg1).
arc(z_000_43_a_hedgehog_2, r_0043_0001__Thinking, restriction).
arc(z_000_43_a_hedgehog_2, r_0043_0007__wonder, scope).
arc(z_000_43_a_hedgehog_66, r_0043_0021__can, scope).
arc(z_000_43_a_hedgehog_66, r_0043_0024__to_r_0043_0025__find, restriction).



%3 z_000_43_a_hedgehog_66 r_0043_0024__to_r_0043_0025__find to find z_000_43_a_hedgehog_66->r_0043_0024__to_r_0043_0025__find [conj1] r_0043_0021__can_r_0043_0022__run can run z_000_43_a_hedgehog_66->r_0043_0021__can_r_0043_0022__run [conj2] r_0043_0026__a_r_0043_0027__mate a mate r_0043_0024__to_r_0043_0025__find->r_0043_0026__a_r_0043_0027__mate [arg1] r_0043_0019__the_r_0043_0020__hedgehogs the hedgehogs r_0043_0024__to_r_0043_0025__find->r_0043_0019__the_r_0043_0020__hedgehogs [arg0] r_0043_0021__can_r_0043_0022__run->r_0043_0019__the_r_0043_0020__hedgehogs [arg0] r_0043_0023__through through r_0043_0021__can_r_0043_0022__run->r_0043_0023__through [clr] z_000_43_a_hedgehog_2 r_0043_0007__wonder wonder z_000_43_a_hedgehog_2->r_0043_0007__wonder [conj2] r_0043_0001__Thinking Thinking z_000_43_a_hedgehog_2->r_0043_0001__Thinking [conj1] r_0043_0018__so_that so that r_0043_0007__wonder->r_0043_0018__so_that [arg1] r_0043_0006__I I r_0043_0007__wonder->r_0043_0006__I [arg0] r_0043_0001__Thinking->r_0043_0006__I [arg0] r_0043_0003__wildlife_r_0043_0004__gardening wildlife gardening r_0043_0001__Thinking->r_0043_0003__wildlife_r_0043_0004__gardening about [clr] r_0043_0018__so_that->z_000_43_a_hedgehog_66 [conj1] r_0043_0008__if_r_0043_0010__might_r_0043_0011__make if might make r_0043_0018__so_that->r_0043_0008__if_r_0043_0010__might_r_0043_0011__make [conj2] r_0043_0016__garden_r_0043_0017__fence garden fence r_0043_0008__if_r_0043_0010__might_r_0043_0011__make->r_0043_0016__garden_r_0043_0017__fence in [nim] r_0043_0009__he he r_0043_0008__if_r_0043_0010__might_r_0043_0011__make->r_0043_0009__he [arg0] r_0043_0012__a_r_0043_0013__hole a hole r_0043_0008__if_r_0043_0010__might_r_0043_0011__make->r_0043_0012__a_r_0043_0013__hole [arg1] r_0043_0016__garden_r_0043_0017__fence->r_0043_0009__he [gen]
fof(formula,axiom,
    ? [Z_43_A_HEDGEHOG_2,R_43_1_THINKING,R_43_3_WILDLIFE_GARDENING,R_43_7_WONDER,R_43_6_I,R_43_18_SO_THAT,Z_43_A_HEDGEHOG_66,R_43_24_TO_FIND,R_43_26_A_MATE,R_43_21_CAN_RUN,R_43_19_THE_HEDGEHOGS,R_43_23_THROUGH,R_43_8_IF_MIGHT_MAKE,R_43_12_A_HOLE,R_43_16_GARDEN_FENCE,R_43_9_HE] :
      ( wildlife_gardening(R_43_3_WILDLIFE_GARDENING)
      & i(R_43_6_I)
      & a_mate(R_43_26_A_MATE)
      & the_hedgehogs(R_43_19_THE_HEDGEHOGS)
      & through(R_43_23_THROUGH)
      & a_hole(R_43_12_A_HOLE)
      & he(R_43_9_HE)
      & z_43_a_hedgehog_2(Z_43_A_HEDGEHOG_2)
      & conj1(Z_43_A_HEDGEHOG_2,R_43_1_THINKING)
      & thinking(R_43_1_THINKING,R_43_6_I)
      & about_clr9(R_43_1_THINKING,R_43_3_WILDLIFE_GARDENING)
      & conj2(Z_43_A_HEDGEHOG_2,R_43_7_WONDER)
      & wonder(R_43_7_WONDER,R_43_6_I,R_43_18_SO_THAT)
      & so_that(R_43_18_SO_THAT)
      & conj1(R_43_18_SO_THAT,Z_43_A_HEDGEHOG_66)
      & z_43_a_hedgehog_66(Z_43_A_HEDGEHOG_66)
      & conj1(Z_43_A_HEDGEHOG_66,R_43_24_TO_FIND)
      & to_find(R_43_24_TO_FIND,R_43_19_THE_HEDGEHOGS,R_43_26_A_MATE)
      & conj2(Z_43_A_HEDGEHOG_66,R_43_21_CAN_RUN)
      & can_run(R_43_21_CAN_RUN,R_43_19_THE_HEDGEHOGS)
      & clr63(R_43_21_CAN_RUN,R_43_23_THROUGH)
      & conj2(R_43_18_SO_THAT,R_43_8_IF_MIGHT_MAKE)
      & if_might_make(R_43_8_IF_MIGHT_MAKE,R_43_9_HE,R_43_12_A_HOLE)
      & in_nim41(R_43_8_IF_MIGHT_MAKE,R_43_16_GARDEN_FENCE)
      & garden_fence(R_43_16_GARDEN_FENCE)
      & gen(R_43_16_GARDEN_FENCE,R_43_9_HE) ) ).



n43_a_hedgehog n43_a_hedgehog__1_1_1_1_1 Thinking n43_a_hedgehog__1_1_1_2_1_1 about n43_a_hedgehog__1_1_1_2_2_1_1 wildlife n43_a_hedgehog__1_1_1_2_2_2_1 gardening n43_a_hedgehog__1_2_1 , n43_a_hedgehog__1_3_1_1 I n43_a_hedgehog__1_4_1 wonder n43_a_hedgehog__1_5_1_1_1 if n43_a_hedgehog__1_5_1_2_1_1 he n43_a_hedgehog__1_5_1_3_1 might n43_a_hedgehog__1_5_1_4_1_1 make n43_a_hedgehog__1_5_1_4_2_1_1 a n43_a_hedgehog__1_5_1_4_2_2_1 hole n43_a_hedgehog__1_5_1_4_3_1_1 in n43_a_hedgehog__1_5_1_4_3_2_1_1_1 his n43_a_hedgehog__1_5_1_4_3_2_2_1 garden n43_a_hedgehog__1_5_1_4_3_2_3_1 fence n43_a_hedgehog__1_5_1_5_1_1 so_that n43_a_hedgehog__1_5_1_5_2_1_1_1 the n43_a_hedgehog__1_5_1_5_2_1_2_1 hedgehogs n43_a_hedgehog__1_5_1_5_2_2_1 can n43_a_hedgehog__1_5_1_5_2_3_1_1 run n43_a_hedgehog__1_5_1_5_2_3_2_1_1 through n43_a_hedgehog__1_5_1_5_2_4_1_1_1 to n43_a_hedgehog__1_5_1_5_2_4_1_2_1 find n43_a_hedgehog__1_5_1_5_2_4_1_3_1_1 a n43_a_hedgehog__1_5_1_5_2_4_1_3_2_1 mate n43_a_hedgehog__1_5_2_1 ? n43_a_hedgehog__1 IP-MAT n43_a_hedgehog__1_1 PP-SCON n43_a_hedgehog__1->n43_a_hedgehog__1_1 n43_a_hedgehog__1_2 PUNC n43_a_hedgehog__1->n43_a_hedgehog__1_2 n43_a_hedgehog__1_3 NP-SBJ n43_a_hedgehog__1->n43_a_hedgehog__1_3 n43_a_hedgehog__1_4 VBP;_Tw_ n43_a_hedgehog__1->n43_a_hedgehog__1_4 n43_a_hedgehog__1_5 CP-QUE-OB1 n43_a_hedgehog__1->n43_a_hedgehog__1_5 n43_a_hedgehog__1_1_1 IP-PPL2 n43_a_hedgehog__1_1->n43_a_hedgehog__1_1_1 n43_a_hedgehog__1_1_1_1 VAG;_Ipr_ n43_a_hedgehog__1_1_1->n43_a_hedgehog__1_1_1_1 n43_a_hedgehog__1_1_1_2 PP-CLR n43_a_hedgehog__1_1_1->n43_a_hedgehog__1_1_1_2 n43_a_hedgehog__1_1_1_1->n43_a_hedgehog__1_1_1_1_1 n43_a_hedgehog__1_1_1_2_1 P-ROLE n43_a_hedgehog__1_1_1_2->n43_a_hedgehog__1_1_1_2_1 n43_a_hedgehog__1_1_1_2_2 NP n43_a_hedgehog__1_1_1_2->n43_a_hedgehog__1_1_1_2_2 n43_a_hedgehog__1_1_1_2_1->n43_a_hedgehog__1_1_1_2_1_1 n43_a_hedgehog__1_1_1_2_2_1 N n43_a_hedgehog__1_1_1_2_2->n43_a_hedgehog__1_1_1_2_2_1 n43_a_hedgehog__1_1_1_2_2_2 N n43_a_hedgehog__1_1_1_2_2->n43_a_hedgehog__1_1_1_2_2_2 n43_a_hedgehog__1_1_1_2_2_1->n43_a_hedgehog__1_1_1_2_2_1_1 n43_a_hedgehog__1_1_1_2_2_2->n43_a_hedgehog__1_1_1_2_2_2_1 n43_a_hedgehog__1_2->n43_a_hedgehog__1_2_1 n43_a_hedgehog__1_3_1 PRO n43_a_hedgehog__1_3->n43_a_hedgehog__1_3_1 n43_a_hedgehog__1_3_1->n43_a_hedgehog__1_3_1_1 n43_a_hedgehog__1_4->n43_a_hedgehog__1_4_1 n43_a_hedgehog__1_5_1 IP-SUB n43_a_hedgehog__1_5->n43_a_hedgehog__1_5_1 n43_a_hedgehog__1_5_2 PUNC n43_a_hedgehog__1_5->n43_a_hedgehog__1_5_2 n43_a_hedgehog__1_5_1_1 WQ n43_a_hedgehog__1_5_1->n43_a_hedgehog__1_5_1_1 n43_a_hedgehog__1_5_1_2 NP-SBJ n43_a_hedgehog__1_5_1->n43_a_hedgehog__1_5_1_2 n43_a_hedgehog__1_5_1_3 MD;_cat_Vi_ n43_a_hedgehog__1_5_1->n43_a_hedgehog__1_5_1_3 n43_a_hedgehog__1_5_1_4 IP-INF-CAT n43_a_hedgehog__1_5_1->n43_a_hedgehog__1_5_1_4 n43_a_hedgehog__1_5_1_5 PP-SCON n43_a_hedgehog__1_5_1->n43_a_hedgehog__1_5_1_5 n43_a_hedgehog__1_5_1_1->n43_a_hedgehog__1_5_1_1_1 n43_a_hedgehog__1_5_1_2_1 PRO n43_a_hedgehog__1_5_1_2->n43_a_hedgehog__1_5_1_2_1 n43_a_hedgehog__1_5_1_2_1->n43_a_hedgehog__1_5_1_2_1_1 n43_a_hedgehog__1_5_1_3->n43_a_hedgehog__1_5_1_3_1 n43_a_hedgehog__1_5_1_4_1 VB;_Tn_ n43_a_hedgehog__1_5_1_4->n43_a_hedgehog__1_5_1_4_1 n43_a_hedgehog__1_5_1_4_2 NP-OB1 n43_a_hedgehog__1_5_1_4->n43_a_hedgehog__1_5_1_4_2 n43_a_hedgehog__1_5_1_4_3 PP-NIM n43_a_hedgehog__1_5_1_4->n43_a_hedgehog__1_5_1_4_3 n43_a_hedgehog__1_5_1_4_1->n43_a_hedgehog__1_5_1_4_1_1 n43_a_hedgehog__1_5_1_4_2_1 D n43_a_hedgehog__1_5_1_4_2->n43_a_hedgehog__1_5_1_4_2_1 n43_a_hedgehog__1_5_1_4_2_2 N n43_a_hedgehog__1_5_1_4_2->n43_a_hedgehog__1_5_1_4_2_2 n43_a_hedgehog__1_5_1_4_2_1->n43_a_hedgehog__1_5_1_4_2_1_1 n43_a_hedgehog__1_5_1_4_2_2->n43_a_hedgehog__1_5_1_4_2_2_1 n43_a_hedgehog__1_5_1_4_3_1 P-ROLE n43_a_hedgehog__1_5_1_4_3->n43_a_hedgehog__1_5_1_4_3_1 n43_a_hedgehog__1_5_1_4_3_2 NP n43_a_hedgehog__1_5_1_4_3->n43_a_hedgehog__1_5_1_4_3_2 n43_a_hedgehog__1_5_1_4_3_1->n43_a_hedgehog__1_5_1_4_3_1_1 n43_a_hedgehog__1_5_1_4_3_2_1 NP-GEN n43_a_hedgehog__1_5_1_4_3_2->n43_a_hedgehog__1_5_1_4_3_2_1 n43_a_hedgehog__1_5_1_4_3_2_2 N n43_a_hedgehog__1_5_1_4_3_2->n43_a_hedgehog__1_5_1_4_3_2_2 n43_a_hedgehog__1_5_1_4_3_2_3 N n43_a_hedgehog__1_5_1_4_3_2->n43_a_hedgehog__1_5_1_4_3_2_3 n43_a_hedgehog__1_5_1_4_3_2_1_1 PRO;_genm_ n43_a_hedgehog__1_5_1_4_3_2_1->n43_a_hedgehog__1_5_1_4_3_2_1_1 n43_a_hedgehog__1_5_1_4_3_2_1_1->n43_a_hedgehog__1_5_1_4_3_2_1_1_1 n43_a_hedgehog__1_5_1_4_3_2_2->n43_a_hedgehog__1_5_1_4_3_2_2_1 n43_a_hedgehog__1_5_1_4_3_2_3->n43_a_hedgehog__1_5_1_4_3_2_3_1 n43_a_hedgehog__1_5_1_5_1 P-CONN n43_a_hedgehog__1_5_1_5->n43_a_hedgehog__1_5_1_5_1 n43_a_hedgehog__1_5_1_5_2 IP-ADV n43_a_hedgehog__1_5_1_5->n43_a_hedgehog__1_5_1_5_2 n43_a_hedgehog__1_5_1_5_1->n43_a_hedgehog__1_5_1_5_1_1 n43_a_hedgehog__1_5_1_5_2_1 NP-SBJ n43_a_hedgehog__1_5_1_5_2->n43_a_hedgehog__1_5_1_5_2_1 n43_a_hedgehog__1_5_1_5_2_2 MD;_cat_Vi_ n43_a_hedgehog__1_5_1_5_2->n43_a_hedgehog__1_5_1_5_2_2 n43_a_hedgehog__1_5_1_5_2_3 IP-INF-CAT n43_a_hedgehog__1_5_1_5_2->n43_a_hedgehog__1_5_1_5_2_3 n43_a_hedgehog__1_5_1_5_2_4 PP-SCON n43_a_hedgehog__1_5_1_5_2->n43_a_hedgehog__1_5_1_5_2_4 n43_a_hedgehog__1_5_1_5_2_1_1 D n43_a_hedgehog__1_5_1_5_2_1->n43_a_hedgehog__1_5_1_5_2_1_1 n43_a_hedgehog__1_5_1_5_2_1_2 NS n43_a_hedgehog__1_5_1_5_2_1->n43_a_hedgehog__1_5_1_5_2_1_2 n43_a_hedgehog__1_5_1_5_2_1_1->n43_a_hedgehog__1_5_1_5_2_1_1_1 n43_a_hedgehog__1_5_1_5_2_1_2->n43_a_hedgehog__1_5_1_5_2_1_2_1 n43_a_hedgehog__1_5_1_5_2_2->n43_a_hedgehog__1_5_1_5_2_2_1 n43_a_hedgehog__1_5_1_5_2_3_1 VB;_Ip_ n43_a_hedgehog__1_5_1_5_2_3->n43_a_hedgehog__1_5_1_5_2_3_1 n43_a_hedgehog__1_5_1_5_2_3_2 ADVP-CLR n43_a_hedgehog__1_5_1_5_2_3->n43_a_hedgehog__1_5_1_5_2_3_2 n43_a_hedgehog__1_5_1_5_2_3_1->n43_a_hedgehog__1_5_1_5_2_3_1_1 n43_a_hedgehog__1_5_1_5_2_3_2_1 RP n43_a_hedgehog__1_5_1_5_2_3_2->n43_a_hedgehog__1_5_1_5_2_3_2_1 n43_a_hedgehog__1_5_1_5_2_3_2_1->n43_a_hedgehog__1_5_1_5_2_3_2_1_1 n43_a_hedgehog__1_5_1_5_2_4_1 IP-INF n43_a_hedgehog__1_5_1_5_2_4->n43_a_hedgehog__1_5_1_5_2_4_1 n43_a_hedgehog__1_5_1_5_2_4_1_1 TO n43_a_hedgehog__1_5_1_5_2_4_1->n43_a_hedgehog__1_5_1_5_2_4_1_1 n43_a_hedgehog__1_5_1_5_2_4_1_2 VB;_Tn_ n43_a_hedgehog__1_5_1_5_2_4_1->n43_a_hedgehog__1_5_1_5_2_4_1_2 n43_a_hedgehog__1_5_1_5_2_4_1_3 NP-OB1 n43_a_hedgehog__1_5_1_5_2_4_1->n43_a_hedgehog__1_5_1_5_2_4_1_3 n43_a_hedgehog__1_5_1_5_2_4_1_1->n43_a_hedgehog__1_5_1_5_2_4_1_1_1 n43_a_hedgehog__1_5_1_5_2_4_1_2->n43_a_hedgehog__1_5_1_5_2_4_1_2_1 n43_a_hedgehog__1_5_1_5_2_4_1_3_1 D n43_a_hedgehog__1_5_1_5_2_4_1_3->n43_a_hedgehog__1_5_1_5_2_4_1_3_1 n43_a_hedgehog__1_5_1_5_2_4_1_3_2 N n43_a_hedgehog__1_5_1_5_2_4_1_3->n43_a_hedgehog__1_5_1_5_2_4_1_3_2 n43_a_hedgehog__1_5_1_5_2_4_1_3_1->n43_a_hedgehog__1_5_1_5_2_4_1_3_1_1 n43_a_hedgehog__1_5_1_5_2_4_1_3_2->n43_a_hedgehog__1_5_1_5_2_4_1_3_2_1 n43_a_hedgehog__1_5_2->n43_a_hedgehog__1_5_2_1
( (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))