Context                Previous, Next                Top


36_a_hedgehog
Sadly, as yet I have no residents in it, but I hope it will encourage diversity and a growth in hedgehog numbers in South Staffordshire.

%3 r_0036_0006__have have r_0036_0001__Sadly Sadly r_0036_0006__have->r_0036_0001__Sadly [nim] r_0036_0004__yet yet r_0036_0006__have->r_0036_0004__yet as [nim] r_0036_0005__I I r_0036_0006__have->r_0036_0005__I [arg0] r_0036_0008__residents residents r_0036_0006__have->r_0036_0008__residents [arg1] r_0036_0010__it it r_0036_0006__have->r_0036_0010__it in [nim] r_0036_0007__no_quant no [quant] r_0036_0007__no_quant->r_0036_0006__have [scope] r_0036_0007__no_quant->r_0036_0008__residents [restriction] r_0036_0012__but but r_0036_0012__but->r_0036_0007__no_quant [conj1] r_0036_0014__hope hope r_0036_0012__but->r_0036_0014__hope [conj2] r_0036_0014__hope->r_0036_0005__I [arg0] r_0036_0016__will will r_0036_0014__hope->r_0036_0016__will [arg1] r_0036_0017__encourage encourage r_0036_0016__will->r_0036_0017__encourage [scope] r_0036_0026__South_r_0036_0027__Staffordshire South Staffordshire r_0036_0016__will->r_0036_0026__South_r_0036_0027__Staffordshire in [nim] r_0036_0015__it it r_0036_0017__encourage->r_0036_0015__it [arg0] r_0036_0019__and and r_0036_0017__encourage->r_0036_0019__and [arg1] r_0036_0018__diversity diversity r_0036_0019__and->r_0036_0018__diversity [conj1] r_0036_0020__a_r_0036_0021__growth a growth r_0036_0019__and->r_0036_0020__a_r_0036_0021__growth [conj2] r_0036_0023__hedgehog_r_0036_0024__numbers hedgehog numbers r_0036_0020__a_r_0036_0021__growth->r_0036_0023__hedgehog_r_0036_0024__numbers in 
arc(r_0036_0006__have, r_0036_0001__Sadly, nim4).
arc(r_0036_0006__have, r_0036_0004__yet, r_0036_0003__as_nim12).
arc(r_0036_0006__have, r_0036_0005__I, arg0).
arc(r_0036_0006__have, r_0036_0008__residents, arg1).
arc(r_0036_0006__have, r_0036_0010__it, r_0036_0009__in_nim28).
arc(r_0036_0007__no_quant, r_0036_0006__have, scope).
arc(r_0036_0007__no_quant, r_0036_0008__residents, restriction).
arc(r_0036_0012__but, r_0036_0007__no_quant, conj1).
arc(r_0036_0012__but, r_0036_0014__hope, conj2).
arc(r_0036_0014__hope, r_0036_0005__I, arg0).
arc(r_0036_0014__hope, r_0036_0016__will, arg1).
arc(r_0036_0016__will, r_0036_0017__encourage, scope).
arc(r_0036_0016__will, r_0036_0026__South_r_0036_0027__Staffordshire, r_0036_0025__in_nim76).
arc(r_0036_0017__encourage, r_0036_0015__it, arg0).
arc(r_0036_0017__encourage, r_0036_0019__and, arg1).
arc(r_0036_0019__and, r_0036_0018__diversity, conj1).
arc(r_0036_0019__and, r_0036_0020__a_r_0036_0021__growth, conj2).
arc(r_0036_0020__a_r_0036_0021__growth, r_0036_0023__hedgehog_r_0036_0024__numbers, r_0036_0022__in).


%3 r_0036_0020__a_r_0036_0021__growth a growth r_0036_0023__hedgehog_r_0036_0024__numbers hedgehog numbers r_0036_0020__a_r_0036_0021__growth->r_0036_0023__hedgehog_r_0036_0024__numbers in r_0036_0019__and and r_0036_0019__and->r_0036_0020__a_r_0036_0021__growth [conj2] r_0036_0018__diversity diversity r_0036_0019__and->r_0036_0018__diversity [conj1] r_0036_0016__will_r_0036_0017__encourage will encourage r_0036_0016__will_r_0036_0017__encourage->r_0036_0019__and [arg1] r_0036_0015__it it r_0036_0016__will_r_0036_0017__encourage->r_0036_0015__it [arg0] r_0036_0026__South_r_0036_0027__Staffordshire South Staffordshire r_0036_0016__will_r_0036_0017__encourage->r_0036_0026__South_r_0036_0027__Staffordshire in [nim] r_0036_0014__hope hope r_0036_0014__hope->r_0036_0016__will_r_0036_0017__encourage [arg1] r_0036_0005__I I r_0036_0014__hope->r_0036_0005__I [arg0] r_0036_0012__but but r_0036_0012__but->r_0036_0014__hope [conj2] r_0036_0007__no_quant no [quant] r_0036_0012__but->r_0036_0007__no_quant [conj1] r_0036_0008__residents residents r_0036_0007__no_quant->r_0036_0008__residents [restriction] r_0036_0006__have have r_0036_0007__no_quant->r_0036_0006__have [scope] r_0036_0006__have->r_0036_0005__I [arg0] r_0036_0006__have->r_0036_0008__residents [arg1] r_0036_0010__it it r_0036_0006__have->r_0036_0010__it in [nim] r_0036_0004__yet yet r_0036_0006__have->r_0036_0004__yet as [nim] r_0036_0001__Sadly Sadly r_0036_0006__have->r_0036_0001__Sadly [nim] 
fof(formula,axiom,
    ? [R_36_12_BUT,R_36_14_HOPE,R_36_5_I,R_36_16_WILL_ENCOURAGE,R_36_15_IT,R_36_19_AND,R_36_18_DIVERSITY,R_36_20_A_GROWTH,R_36_23_HEDGEHOG_NUMBERS,R_36_26_SOUTH_STAFFORDSHIRE] :
      ( i(R_36_5_I)
      & it(R_36_15_IT)
      & diversity(R_36_18_DIVERSITY)
      & hedgehog_numbers(R_36_23_HEDGEHOG_NUMBERS)
      & south_Staffordshire(R_36_26_SOUTH_STAFFORDSHIRE)
      & ! [R_36_8_RESIDENTS] :
          ( residents(R_36_8_RESIDENTS)
         => ? [R_36_6_HAVE,R_36_1_SADLY,R_36_4_YET,R_36_10_IT] :
              ( sadly(R_36_1_SADLY)
              & yet(R_36_4_YET)
              & it(R_36_10_IT)
              & have(R_36_6_HAVE,R_36_5_I,R_36_8_RESIDENTS)
              & nim4(R_36_6_HAVE,R_36_1_SADLY)
              & as_nim12(R_36_6_HAVE,R_36_4_YET)
              & in_nim28(R_36_6_HAVE,R_36_10_IT) ) )
      & conj1(CONJ1)
      & but(R_36_12_BUT)
      & conj2(R_36_12_BUT,R_36_14_HOPE)
      & hope(R_36_14_HOPE,R_36_5_I,R_36_16_WILL_ENCOURAGE)
      & will_encourage(R_36_16_WILL_ENCOURAGE,R_36_15_IT,R_36_19_AND)
      & and(R_36_19_AND)
      & conj1(R_36_19_AND,R_36_18_DIVERSITY)
      & conj2(R_36_19_AND,R_36_20_A_GROWTH)
      & a_growth(R_36_20_A_GROWTH)
      & in(R_36_20_A_GROWTH,R_36_23_HEDGEHOG_NUMBERS)
      & in_nim76(R_36_16_WILL_ENCOURAGE,R_36_26_SOUTH_STAFFORDSHIRE) ) ).


n36_a_hedgehog n36_a_hedgehog__1_1_1_1_1_1 Sadly n36_a_hedgehog__1_1_1_2_1 , n36_a_hedgehog__1_1_1_3_1_1 as n36_a_hedgehog__1_1_1_3_2_1_1 yet n36_a_hedgehog__1_1_1_4_1_1 I n36_a_hedgehog__1_1_1_5_1 have n36_a_hedgehog__1_1_1_6_1_1 no n36_a_hedgehog__1_1_1_6_2_1 residents n36_a_hedgehog__1_1_1_7_1_1 in n36_a_hedgehog__1_1_1_7_2_1_1 it n36_a_hedgehog__1_1_2_1 , n36_a_hedgehog__1_1_3_1_1 but n36_a_hedgehog__1_1_3_2_1_1_1 I n36_a_hedgehog__1_1_3_2_2_1 hope n36_a_hedgehog__1_1_3_2_3_1_1_1_1 it n36_a_hedgehog__1_1_3_2_3_1_2_1 will n36_a_hedgehog__1_1_3_2_3_1_3_1_1 encourage n36_a_hedgehog__1_1_3_2_3_1_3_2_1_1_1_1 diversity n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_1_1 and n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_1_1 a n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_2_1 growth n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_1_1 in n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_2_1_1 hedgehog n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_2_2_1 numbers n36_a_hedgehog__1_1_3_2_3_1_4_1_1 in n36_a_hedgehog__1_1_3_2_3_1_4_2_1_1 South n36_a_hedgehog__1_1_3_2_3_1_4_2_2_1 Staffordshire n36_a_hedgehog__1_2_1 . n36_a_hedgehog__1 IP-MAT n36_a_hedgehog__1_1 ILYR n36_a_hedgehog__1->n36_a_hedgehog__1_1 n36_a_hedgehog__1_2 PUNC n36_a_hedgehog__1->n36_a_hedgehog__1_2 n36_a_hedgehog__1_1_1 ILYR n36_a_hedgehog__1_1->n36_a_hedgehog__1_1_1 n36_a_hedgehog__1_1_2 PUNC n36_a_hedgehog__1_1->n36_a_hedgehog__1_1_2 n36_a_hedgehog__1_1_3 CONJP n36_a_hedgehog__1_1->n36_a_hedgehog__1_1_3 n36_a_hedgehog__1_1_1_1 ADVP-NIM n36_a_hedgehog__1_1_1->n36_a_hedgehog__1_1_1_1 n36_a_hedgehog__1_1_1_2 PUNC n36_a_hedgehog__1_1_1->n36_a_hedgehog__1_1_1_2 n36_a_hedgehog__1_1_1_3 PP-NIM n36_a_hedgehog__1_1_1->n36_a_hedgehog__1_1_1_3 n36_a_hedgehog__1_1_1_4 NP-SBJ n36_a_hedgehog__1_1_1->n36_a_hedgehog__1_1_1_4 n36_a_hedgehog__1_1_1_5 HVP;_Tn_ n36_a_hedgehog__1_1_1->n36_a_hedgehog__1_1_1_5 n36_a_hedgehog__1_1_1_6 NP-OB1 n36_a_hedgehog__1_1_1->n36_a_hedgehog__1_1_1_6 n36_a_hedgehog__1_1_1_7 PP-NIM n36_a_hedgehog__1_1_1->n36_a_hedgehog__1_1_1_7 n36_a_hedgehog__1_1_1_1_1 ADV n36_a_hedgehog__1_1_1_1->n36_a_hedgehog__1_1_1_1_1 n36_a_hedgehog__1_1_1_1_1->n36_a_hedgehog__1_1_1_1_1_1 n36_a_hedgehog__1_1_1_2->n36_a_hedgehog__1_1_1_2_1 n36_a_hedgehog__1_1_1_3_1 P-ROLE n36_a_hedgehog__1_1_1_3->n36_a_hedgehog__1_1_1_3_1 n36_a_hedgehog__1_1_1_3_2 ADVP n36_a_hedgehog__1_1_1_3->n36_a_hedgehog__1_1_1_3_2 n36_a_hedgehog__1_1_1_3_1->n36_a_hedgehog__1_1_1_3_1_1 n36_a_hedgehog__1_1_1_3_2_1 ADV n36_a_hedgehog__1_1_1_3_2->n36_a_hedgehog__1_1_1_3_2_1 n36_a_hedgehog__1_1_1_3_2_1->n36_a_hedgehog__1_1_1_3_2_1_1 n36_a_hedgehog__1_1_1_4_1 PRO n36_a_hedgehog__1_1_1_4->n36_a_hedgehog__1_1_1_4_1 n36_a_hedgehog__1_1_1_4_1->n36_a_hedgehog__1_1_1_4_1_1 n36_a_hedgehog__1_1_1_5->n36_a_hedgehog__1_1_1_5_1 n36_a_hedgehog__1_1_1_6_1 Q n36_a_hedgehog__1_1_1_6->n36_a_hedgehog__1_1_1_6_1 n36_a_hedgehog__1_1_1_6_2 NS n36_a_hedgehog__1_1_1_6->n36_a_hedgehog__1_1_1_6_2 n36_a_hedgehog__1_1_1_6_1->n36_a_hedgehog__1_1_1_6_1_1 n36_a_hedgehog__1_1_1_6_2->n36_a_hedgehog__1_1_1_6_2_1 n36_a_hedgehog__1_1_1_7_1 P-ROLE n36_a_hedgehog__1_1_1_7->n36_a_hedgehog__1_1_1_7_1 n36_a_hedgehog__1_1_1_7_2 NP n36_a_hedgehog__1_1_1_7->n36_a_hedgehog__1_1_1_7_2 n36_a_hedgehog__1_1_1_7_1->n36_a_hedgehog__1_1_1_7_1_1 n36_a_hedgehog__1_1_1_7_2_1 PRO n36_a_hedgehog__1_1_1_7_2->n36_a_hedgehog__1_1_1_7_2_1 n36_a_hedgehog__1_1_1_7_2_1->n36_a_hedgehog__1_1_1_7_2_1_1 n36_a_hedgehog__1_1_2->n36_a_hedgehog__1_1_2_1 n36_a_hedgehog__1_1_3_1 CONJ n36_a_hedgehog__1_1_3->n36_a_hedgehog__1_1_3_1 n36_a_hedgehog__1_1_3_2 ILYR n36_a_hedgehog__1_1_3->n36_a_hedgehog__1_1_3_2 n36_a_hedgehog__1_1_3_1->n36_a_hedgehog__1_1_3_1_1 n36_a_hedgehog__1_1_3_2_1 NP-SBJ n36_a_hedgehog__1_1_3_2->n36_a_hedgehog__1_1_3_2_1 n36_a_hedgehog__1_1_3_2_2 VBP;_Tf_ n36_a_hedgehog__1_1_3_2->n36_a_hedgehog__1_1_3_2_2 n36_a_hedgehog__1_1_3_2_3 CP-THT-OB1 n36_a_hedgehog__1_1_3_2->n36_a_hedgehog__1_1_3_2_3 n36_a_hedgehog__1_1_3_2_1_1 PRO n36_a_hedgehog__1_1_3_2_1->n36_a_hedgehog__1_1_3_2_1_1 n36_a_hedgehog__1_1_3_2_1_1->n36_a_hedgehog__1_1_3_2_1_1_1 n36_a_hedgehog__1_1_3_2_2->n36_a_hedgehog__1_1_3_2_2_1 n36_a_hedgehog__1_1_3_2_3_1 IP-SUB n36_a_hedgehog__1_1_3_2_3->n36_a_hedgehog__1_1_3_2_3_1 n36_a_hedgehog__1_1_3_2_3_1_1 NP-SBJ n36_a_hedgehog__1_1_3_2_3_1->n36_a_hedgehog__1_1_3_2_3_1_1 n36_a_hedgehog__1_1_3_2_3_1_2 MD;_cat_Vi_ n36_a_hedgehog__1_1_3_2_3_1->n36_a_hedgehog__1_1_3_2_3_1_2 n36_a_hedgehog__1_1_3_2_3_1_3 IP-INF-CAT n36_a_hedgehog__1_1_3_2_3_1->n36_a_hedgehog__1_1_3_2_3_1_3 n36_a_hedgehog__1_1_3_2_3_1_4 PP-NIM n36_a_hedgehog__1_1_3_2_3_1->n36_a_hedgehog__1_1_3_2_3_1_4 n36_a_hedgehog__1_1_3_2_3_1_1_1 PRO n36_a_hedgehog__1_1_3_2_3_1_1->n36_a_hedgehog__1_1_3_2_3_1_1_1 n36_a_hedgehog__1_1_3_2_3_1_1_1->n36_a_hedgehog__1_1_3_2_3_1_1_1_1 n36_a_hedgehog__1_1_3_2_3_1_2->n36_a_hedgehog__1_1_3_2_3_1_2_1 n36_a_hedgehog__1_1_3_2_3_1_3_1 VB;_Tn_ n36_a_hedgehog__1_1_3_2_3_1_3->n36_a_hedgehog__1_1_3_2_3_1_3_1 n36_a_hedgehog__1_1_3_2_3_1_3_2 NP-OB1 n36_a_hedgehog__1_1_3_2_3_1_3->n36_a_hedgehog__1_1_3_2_3_1_3_2 n36_a_hedgehog__1_1_3_2_3_1_3_1->n36_a_hedgehog__1_1_3_2_3_1_3_1_1 n36_a_hedgehog__1_1_3_2_3_1_3_2_1 NLYR n36_a_hedgehog__1_1_3_2_3_1_3_2->n36_a_hedgehog__1_1_3_2_3_1_3_2_1 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_1 NLYR n36_a_hedgehog__1_1_3_2_3_1_3_2_1->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_1 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2 CONJP n36_a_hedgehog__1_1_3_2_3_1_3_2_1->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_1_1 N n36_a_hedgehog__1_1_3_2_3_1_3_2_1_1->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_1_1 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_1_1->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_1_1_1 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_1 CONJ n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_1 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2 NLYR n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_1->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_1_1 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_1 D n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_1 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_2 N n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_2 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3 PP n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_1->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_1_1 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_2->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_2_1 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_1 P-ROLE n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_1 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_2 NP n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_2 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_1->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_1_1 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_2_1 N n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_2->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_2_1 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_2_2 NS n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_2->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_2_2 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_2_1->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_2_1_1 n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_2_2->n36_a_hedgehog__1_1_3_2_3_1_3_2_1_2_2_3_2_2_1 n36_a_hedgehog__1_1_3_2_3_1_4_1 P-ROLE n36_a_hedgehog__1_1_3_2_3_1_4->n36_a_hedgehog__1_1_3_2_3_1_4_1 n36_a_hedgehog__1_1_3_2_3_1_4_2 NP n36_a_hedgehog__1_1_3_2_3_1_4->n36_a_hedgehog__1_1_3_2_3_1_4_2 n36_a_hedgehog__1_1_3_2_3_1_4_1->n36_a_hedgehog__1_1_3_2_3_1_4_1_1 n36_a_hedgehog__1_1_3_2_3_1_4_2_1 NPR n36_a_hedgehog__1_1_3_2_3_1_4_2->n36_a_hedgehog__1_1_3_2_3_1_4_2_1 n36_a_hedgehog__1_1_3_2_3_1_4_2_2 NPR n36_a_hedgehog__1_1_3_2_3_1_4_2->n36_a_hedgehog__1_1_3_2_3_1_4_2_2 n36_a_hedgehog__1_1_3_2_3_1_4_2_1->n36_a_hedgehog__1_1_3_2_3_1_4_2_1_1 n36_a_hedgehog__1_1_3_2_3_1_4_2_2->n36_a_hedgehog__1_1_3_2_3_1_4_2_2_1 n36_a_hedgehog__1_2->n36_a_hedgehog__1_2_1 
( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV Sadly;{sadly}))
                      (PUNC ,)
                      (PP-NIM (P-ROLE as;{as})
                              (ADVP (ADV yet;{yet})))
                      (NP-SBJ (PRO I;{I}))
                      (HVP;_Tn_ have;{have})
                      (NP-OB1 (Q no;{no})
                              (NS residents;{resident}))
                      (PP-NIM (P-ROLE in;{in})
                              (NP;{HEDGEHOG_HOUSE} (PRO it;{it}))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (PRO I;{I}))
                             (VBP;_Tf_ hope;{hope})
                             (CP-THT-OB1 (IP-SUB (NP-SBJ;{HEDGEHOG_HOUSE} (PRO it;{it}))
                                                 (MD;_cat_Vi_ will;{will})
                                                 (IP-INF-CAT (VB;_Tn_ encourage;{encourage})
                                                             (NP-OB1 (NLYR (NLYR (N diversity;{diversity}))
                                                                           (CONJP (CONJ and;{and})
                                                                                  (NLYR (D a;{a})
                                                                                        (N growth;{growth})
                                                                                        (PP (P-ROLE in;{in})
                                                                                            (NP (N hedgehog;{hedgehog})
                                                                                                (NS numbers;{number}))))))))
                                                 (PP-NIM (P-ROLE in;{in})
                                                         (NP;{LOCATION} (NPR South;{South})
                                                                        (NPR Staffordshire;{Staffordshire}))))))))
          (PUNC .))
  (ID 36_a_hedgehog;speaker=Williamson))