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.
( (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))
arc(r_0036_0006__have,r_0036_0001__Sadly,nim).
arc(r_0036_0006__have,r_0036_0004__yet,r_0036_0003__as__nim).
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__nim).
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__nim).
arc(r_0036_0017__encourage,r_0036_0010__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).
fof(formula,axiom,
? [R_0036_0005__I,R_0036_0026__SOUTH_R_0036_0027__STAFFORDSHIRE,R_0036_0010__IT,R_0036_0018__DIVERSITY,R_0036_0023__HEDGEHOG_R_0036_0024__NUMBERS,R_0036_0020__A_R_0036_0021__GROWTH,R_0036_0019__AND,R_0036_0016__WILL_R_0036_0017__ENCOURAGE,R_0036_0014__HOPE,R_0036_0012__BUT] :
( r_0036_0005__I(R_0036_0005__I)
& r_0036_0010__it(R_0036_0010__IT)
& r_0036_0018__diversity(R_0036_0018__DIVERSITY)
& r_0036_0023__hedgehog_r_0036_0024__numbers(R_0036_0023__HEDGEHOG_R_0036_0024__NUMBERS)
& r_0036_0026__South_r_0036_0027__Staffordshire(R_0036_0026__SOUTH_R_0036_0027__STAFFORDSHIRE)
& r_0036_0012__but(R_0036_0012__BUT)
& has_conj2(R_0036_0012__BUT,R_0036_0014__HOPE)
& r_0036_0014__hope(R_0036_0014__HOPE)
& has_arg1(R_0036_0014__HOPE,R_0036_0016__WILL_R_0036_0017__ENCOURAGE)
& r_0036_0016__will_r_0036_0017__encourage(R_0036_0016__WILL_R_0036_0017__ENCOURAGE)
& has_arg1(R_0036_0016__WILL_R_0036_0017__ENCOURAGE,R_0036_0019__AND)
& r_0036_0019__and(R_0036_0019__AND)
& has_conj2(R_0036_0019__AND,R_0036_0020__A_R_0036_0021__GROWTH)
& r_0036_0020__a_r_0036_0021__growth(R_0036_0020__A_R_0036_0021__GROWTH)
& has_r_0036_0022__in(R_0036_0020__A_R_0036_0021__GROWTH,R_0036_0023__HEDGEHOG_R_0036_0024__NUMBERS)
& has_conj1(R_0036_0019__AND,R_0036_0018__DIVERSITY)
& has_arg0(R_0036_0016__WILL_R_0036_0017__ENCOURAGE,R_0036_0010__IT)
& has_r_0036_0025__in__nim(R_0036_0016__WILL_R_0036_0017__ENCOURAGE,R_0036_0026__SOUTH_R_0036_0027__STAFFORDSHIRE)
& has_arg0(R_0036_0014__HOPE,R_0036_0005__I)
& ! [R_0036_0008__RESIDENTS] :
( r_0036_0008__residents(R_0036_0008__RESIDENTS)
=> ? [R_0036_0001__SADLY,R_0036_0004__YET,R_0036_0006__HAVE] :
( r_0036_0001__Sadly(R_0036_0001__SADLY)
& r_0036_0004__yet(R_0036_0004__YET)
& r_0036_0006__have(R_0036_0006__HAVE)
& has_r_0036_0009__in__nim(R_0036_0006__HAVE,R_0036_0010__IT)
& has_arg1(R_0036_0006__HAVE,R_0036_0008__RESIDENTS)
& has_arg0(R_0036_0006__HAVE,R_0036_0005__I)
& has_r_0036_0003__as__nim(R_0036_0006__HAVE,R_0036_0004__YET)
& has_nim(R_0036_0006__HAVE,R_0036_0001__SADLY) ) ) ) ).