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.
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).
fof(formula,axiom,
? [R_0036_0005__I,R_0036_0026__SOUTH_R_0036_0027__STAFFORDSHIRE,R_0036_0015__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_0015__it(R_0036_0015__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_0015__IT)
& has_r_0036_0025__in_nim76(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_0010__IT,R_0036_0006__HAVE] :
( r_0036_0001__Sadly(R_0036_0001__SADLY)
& r_0036_0004__yet(R_0036_0004__YET)
& r_0036_0010__it(R_0036_0010__IT)
& r_0036_0006__have(R_0036_0006__HAVE)
& has_r_0036_0009__in_nim28(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_nim12(R_0036_0006__HAVE,R_0036_0004__YET)
& has_nim4(R_0036_0006__HAVE,R_0036_0001__SADLY) ) ) ) ).
( (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))