TSPC 133_a_hedgehog

133_a_hedgehog
This led to the death of between of # half a million and 2 million hedgehogs between 1566 and 1800, a subject John Clare takes forward in a poem of 1805 and which led my own Department, the Ministry of Agriculture, in 1908 to issue a formal notice to farmers encouraging them not to believe that hedgehogs take milk from the teats of a recumbent cow, because of course the hedgehog's mouth is too small to be able to perform this function.

( (IP-MAT (NP-SBJ (D;_nphd_ This;{this}))
          (VBD;_Ipr_ led;{lead[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (D the;{the})
                      (N death;{death})
                      (PP (P-ROLE of;{of})
                          (NP (PP (P-ROLE between;{between})
                                  (NP (NLYR (NLYR (FS (P-ROLE of;{of})
                                                      (META #))
                                                  (Q half;{half})
                                                  (D a;{a})
                                                  (N million;{million}))
                                            (CONJP (CONJ and;{and})
                                                   (NLYR (NUM 2)
                                                         (N million;{million}))))))
                              (NS hedgehogs;{hedgehog})))
                      (PP (P-ROLE between;{between})
                          (NP (NLYR (NLYR (NPR 1566))
                                    (CONJP (CONJ and;{and})
                                           (NLYR (NPR 1800))))))
                      (PUNC ,)
                      (PRN (NP (D a;{a})
                               (N subject;{subject})
                               (IP-REL (ILYR (ILYR (NP-OB1 *T*)
                                                   (NP-SBJ (NPR John;{John})
                                                           (NPR Clare;{Clare}))
                                                   (VBP;_Ip_ takes;{take[forward]})
                                                   (ADVP-CLR (ADV forward;{forward}))
                                                   (PP-NIM (P-ROLE in;{in})
                                                           (NP (D a;{a})
                                                               (N poem;{poem})
                                                               (PP (P-ROLE of;{of})
                                                                   (NP (NPR 1805))))))
                                             (CONJP (CONJ and;{and})
                                                    (ILYR (NP-SBJ (RPRO which;{which}))
                                                          (VBD;_Cn.t_ led;{lead})
                                                          (NP-OB1 (NP-GEN (NP-GEN (PRO;_genm_ my;{my}))
                                                                          (ADJP (ADJ own;{own})))
                                                                  (N Department;{department})
                                                                  (PUNC ,)
                                                                  (PRN (NP (D the;{the})
                                                                           (N Ministry;{ministry})
                                                                           (PP (P-ROLE of;{of})
                                                                               (NP (N Agriculture;{agriculture}))))))
                                                          (PUNC ,)
                                                          (PP-NIM (P-ROLE in;{in})
                                                                  (NP (NPR 1908)))
                                                          (IP-INF-PRD (TO to;{to})
                                                                      (VB;_Tn.pr_ issue;{issue[to]})
                                                                      (NP-OB1 (D a;{a})
                                                                              (ADJP (ADJ formal;{formal}))
                                                                              (N notice;{notice}))
                                                                      (PP-CLR (P-ROLE to;{to})
                                                                              (NP;{FARMERS} (NS farmers;{farmer})))
                                                                      (PP-SCON (IP-PPL3 (VAG;_Dn.t_ encouraging;{encourage})
                                                                                        (NP-OB2;{FARMERS} (PRO them;{they}))
                                                                                        (IP-INF-OB1 (NEG not;{not})
                                                                                                    (TO to;{to})
                                                                                                    (VB;_Tf_ believe;{believe})
                                                                                                    (CP-THT-OB1 (IP-SUB (C that;{that})
                                                                                                                        (NP-SBJ;{HEDGEHOG} (NS hedgehogs;{hedgehog}))
                                                                                                                        (VBP;_Tn.pr_ take;{take[from]})
                                                                                                                        (NP-OB1 (N milk;{milk}))
                                                                                                                        (PP-CLR (P-ROLE from;{from})
                                                                                                                                (NP (D the;{the})
                                                                                                                                    (NS teats;{teat})
                                                                                                                                    (PP (P-ROLE of;{of})
                                                                                                                                        (NP (D a;{a})
                                                                                                                                            (ADJP (ADJ recumbent;{recumbent}))
                                                                                                                                            (N cow;{cow})))))
                                                                                                                        (PUNC ,)
                                                                                                                        (PP-SCON (P-CONN because;{because})
                                                                                                                                 (IP-ADV (ADVP-NIM (ADV of_course;{of_course}))
                                                                                                                                         (NP-SBJ (NP-GEN (D the;{the})
                                                                                                                                                         (N hedgehog;{hedgehog})
                                                                                                                                                         (GENM <apos>s))
                                                                                                                                                 (N mouth;{mouth}))
                                                                                                                                         (BEP;_La_ is;{be})
                                                                                                                                         (ADJP-PRD (ADVP (ADV too;{too}))
                                                                                                                                                   (ADJ small;{small})
                                                                                                                                                   (IP-INF (TO to;{to})
                                                                                                                                                           (BE;_La_ be;{be})
                                                                                                                                                           (ADJP-PRD (ADJ;_cat_ able;{able})
                                                                                                                                                                     (IP-INF (TO to;{to})
                                                                                                                                                                             (VB;_Tn_ perform;{perform})
                                                                                                                                                                             (NP-OB1 (D this;{this})
                                                                                                                                                                                     (N function;{function}))))))))))))))))))))))
          (PUNC .))
  (ID 133_a_hedgehog;speaker=Stewart))

arc(r_0133_0002__led_r_0133_0003__to,r_0133_0001__This,arg0).
arc(r_0133_0002__led_r_0133_0003__to,r_0133_0004__the_r_0133_0005__death,arg1).
arc(r_0133_0004__the_r_0133_0005__death,r_0133_0016__hedgehogs,r_0133_0006__of).
arc(r_0133_0004__the_r_0133_0005__death,r_0133_0019__and,r_0133_0017__between).
arc(r_0133_0010__half__quant,r_0133_0011__a_r_0133_0012__million,restriction).
arc(r_0133_0010__half__quant,r_0133_0013__and,scope).
arc(r_0133_0013__and,r_0133_0011__a_r_0133_0012__million,conj1).
arc(r_0133_0013__and,r_0133_0014__2_r_0133_0015__million,conj2).
arc(r_0133_0016__hedgehogs,r_0133_0013__and,r_0133_0007__between).
arc(r_0133_0019__and,r_0133_0018__1566,conj1).
arc(r_0133_0019__and,r_0133_0020__1800,conj2).
arc(r_0133_0026__takes_r_0133_0027__forward,r_0133_0022__a_r_0133_0023__subject,inv_arg1).
arc(r_0133_0026__takes_r_0133_0027__forward,r_0133_0024__John_r_0133_0025__Clare,arg0).
arc(r_0133_0026__takes_r_0133_0027__forward,r_0133_0029__a_r_0133_0030__poem,r_0133_0028__in__nim).
arc(r_0133_0029__a_r_0133_0030__poem,r_0133_0032__1805,r_0133_0031__of).
arc(r_0133_0033__and,r_0133_0026__takes_r_0133_0027__forward,conj1).
arc(r_0133_0033__and,r_0133_0035__led,conj2).
arc(r_0133_0035__led,r_0133_0022__a_r_0133_0023__subject,arg0).
arc(r_0133_0035__led,r_0133_0038__Department,arg1).
arc(r_0133_0035__led,r_0133_0046__1908,r_0133_0045__in__nim).
arc(r_0133_0035__led,z_0133_5025,prd).
arc(r_0133_0038__Department,z_0133_5014,gen).
arc(r_0133_0040__the_r_0133_0041__Ministry,r_0133_0043__Agriculture,r_0133_0042__of).
arc(r_0133_0048__issue_r_0133_0052__to,r_0133_0049__a_r_0133_0051__notice,arg1).
arc(r_0133_0048__issue_r_0133_0052__to,r_0133_0053__farmers,arg2).
arc(r_0133_0048__issue_r_0133_0052__to,z_0133_5021,arg0).
arc(r_0133_0049__a_r_0133_0051__notice,r_0133_0050__formal,attrib).
arc(r_0133_0054__encouraging,r_0133_0053__farmers,arg2).
arc(r_0133_0054__encouraging,r_0133_0056__not,arg1).
arc(r_0133_0054__encouraging,z_0133_5028,arg0).
arc(r_0133_0056__not,r_0133_0058__believe,keep_scope).
arc(r_0133_0058__believe,r_0133_0053__farmers,arg0).
arc(r_0133_0058__believe,r_0133_0071__because,arg1).
arc(r_0133_0061__take_r_0133_0063__from,r_0133_0060__hedgehogs,arg0).
arc(r_0133_0061__take_r_0133_0063__from,r_0133_0062__milk,arg1).
arc(r_0133_0061__take_r_0133_0063__from,r_0133_0064__the_r_0133_0065__teats,arg2).
arc(r_0133_0064__the_r_0133_0065__teats,r_0133_0067__a_r_0133_0069__cow,r_0133_0066__of).
arc(r_0133_0067__a_r_0133_0069__cow,r_0133_0068__recumbent,attrib).
arc(r_0133_0071__because,r_0133_0061__take_r_0133_0063__from,scope).
arc(r_0133_0071__because,r_0133_0077__is,restriction).
arc(r_0133_0076__mouth,r_0133_0073__the_r_0133_0074__hedgehog,gen).
arc(r_0133_0077__is,r_0133_0072__of_course,nim).
arc(r_0133_0077__is,r_0133_0076__mouth,arg0).
arc(r_0133_0077__is,r_0133_0079__small,prd).
arc(r_0133_0079__small,r_0133_0078__too,qual).
arc(r_0133_0079__small,r_0133_0081__be,emb).
arc(r_0133_0081__be,r_0133_0082__able,scope).
arc(r_0133_0082__able,r_0133_0084__perform,scope).
arc(r_0133_0084__perform,r_0133_0085__this_r_0133_0086__function,arg1).
arc(r_0133_0084__perform,z_0133_5045,arg0).
arc(z_0133_5014,r_0133_0036__my,gen).
arc(z_0133_5014,r_0133_0037__own,attrib).
arc(z_0133_5017,r_0133_0038__Department,arg0).
arc(z_0133_5017,r_0133_0040__the_r_0133_0041__Ministry,prd).
arc(z_0133_5025,r_0133_0048__issue_r_0133_0052__to,scope).
arc(z_0133_5025,r_0133_0054__encouraging,restriction).
arc(z_0133_5060,r_0133_0004__the_r_0133_0005__death,arg0).
arc(z_0133_5060,r_0133_0022__a_r_0133_0023__subject,prd).

fof(formula,axiom,
    ? [R_0133_0024__JOHN_R_0133_0025__CLARE,R_0133_0032__1805,R_0133_0029__A_R_0133_0030__POEM,R_0133_0026__TAKES_R_0133_0027__FORWARD,R_0133_0022__A_R_0133_0023__SUBJECT,R_0133_0036__MY,R_0133_0037__OWN,Z_0133_5014,R_0133_0038__DEPARTMENT,R_0133_0046__1908,R_0133_0050__FORMAL,R_0133_0049__A_R_0133_0051__NOTICE,R_0133_0053__FARMERS,Z_0133_5021,R_0133_0048__ISSUE_R_0133_0052__TO,Z_0133_5028,R_0133_0054__ENCOURAGING,Z_0133_5025,R_0133_0035__LED,R_0133_0033__AND,R_0133_0043__AGRICULTURE,R_0133_0040__THE_R_0133_0041__MINISTRY,Z_0133_5017] :
      ( r_0133_0024__John_r_0133_0025__Clare(R_0133_0024__JOHN_R_0133_0025__CLARE)
      & r_0133_0032__1805(R_0133_0032__1805)
      & r_0133_0036__my(R_0133_0036__MY)
      & r_0133_0037__own(R_0133_0037__OWN)
      & r_0133_0043__Agriculture(R_0133_0043__AGRICULTURE)
      & r_0133_0046__1908(R_0133_0046__1908)
      & r_0133_0050__formal(R_0133_0050__FORMAL)
      & r_0133_0053__farmers(R_0133_0053__FARMERS)
      & z_0133_5021(Z_0133_5021)
      & z_0133_5028(Z_0133_5028)
      & z_0133_5017(Z_0133_5017)
      & has_prd(Z_0133_5017,R_0133_0040__THE_R_0133_0041__MINISTRY)
      & r_0133_0040__the_r_0133_0041__Ministry(R_0133_0040__THE_R_0133_0041__MINISTRY)
      & has_r_0133_0042__of(R_0133_0040__THE_R_0133_0041__MINISTRY,R_0133_0043__AGRICULTURE)
      & has_arg0(Z_0133_5017,R_0133_0038__DEPARTMENT)
      & r_0133_0038__Department(R_0133_0038__DEPARTMENT)
      & has_gen(R_0133_0038__DEPARTMENT,Z_0133_5014)
      & z_0133_5014(Z_0133_5014)
      & has_attrib(Z_0133_5014,R_0133_0037__OWN)
      & has_gen(Z_0133_5014,R_0133_0036__MY)
      & r_0133_0033__and(R_0133_0033__AND)
      & has_conj2(R_0133_0033__AND,R_0133_0035__LED)
      & r_0133_0035__led(R_0133_0035__LED)
      & has_prd(R_0133_0035__LED,Z_0133_5025)
      & z_0133_5025(Z_0133_5025)
      & has_conj1(Z_0133_5025,R_0133_0054__ENCOURAGING)
      & r_0133_0054__encouraging(R_0133_0054__ENCOURAGING)
      & has_arg0(R_0133_0054__ENCOURAGING,Z_0133_5028)
      & has_arg1(R_0133_0054__ENCOURAGING,R_0133_0056__NOT)
      & ~ ? [R_0133_0060__HEDGEHOGS,R_0133_0062__MILK,R_0133_0068__RECUMBENT,R_0133_0067__A_R_0133_0069__COW,R_0133_0064__THE_R_0133_0065__TEATS,R_0133_0061__TAKE_R_0133_0063__FROM,R_0133_0072__OF_COURSE,R_0133_0073__THE_R_0133_0074__HEDGEHOG,R_0133_0076__MOUTH,R_0133_0078__TOO,R_0133_0085__THIS_R_0133_0086__FUNCTION,Z_0133_5045,R_0133_0081__BE_R_0133_0082__ABLE_R_0133_0084__PERFORM,R_0133_0079__SMALL,R_0133_0077__IS,R_0133_0071__BECAUSE,R_0133_0058__BELIEVE] :
            ( r_0133_0060__hedgehogs(R_0133_0060__HEDGEHOGS)
            & r_0133_0062__milk(R_0133_0062__MILK)
            & r_0133_0068__recumbent(R_0133_0068__RECUMBENT)
            & r_0133_0072__of_course(R_0133_0072__OF_COURSE)
            & r_0133_0073__the_r_0133_0074__hedgehog(R_0133_0073__THE_R_0133_0074__HEDGEHOG)
            & r_0133_0078__too(R_0133_0078__TOO)
            & r_0133_0085__this_r_0133_0086__function(R_0133_0085__THIS_R_0133_0086__FUNCTION)
            & z_0133_5045(Z_0133_5045)
            & r_0133_0058__believe(R_0133_0058__BELIEVE)
            & has_arg1(R_0133_0058__BELIEVE,R_0133_0071__BECAUSE)
            & r_0133_0071__because(R_0133_0071__BECAUSE)
            & has_conj1(R_0133_0071__BECAUSE,R_0133_0077__IS)
            & r_0133_0077__is(R_0133_0077__IS)
            & has_prd(R_0133_0077__IS,R_0133_0079__SMALL)
            & r_0133_0079__small(R_0133_0079__SMALL)
            & has_emb(R_0133_0079__SMALL,R_0133_0081__BE_R_0133_0082__ABLE_R_0133_0084__PERFORM)
            & r_0133_0081__be_r_0133_0082__able_r_0133_0084__perform(R_0133_0081__BE_R_0133_0082__ABLE_R_0133_0084__PERFORM)
            & has_arg0(R_0133_0081__BE_R_0133_0082__ABLE_R_0133_0084__PERFORM,Z_0133_5045)
            & has_arg1(R_0133_0081__BE_R_0133_0082__ABLE_R_0133_0084__PERFORM,R_0133_0085__THIS_R_0133_0086__FUNCTION)
            & has_qual(R_0133_0079__SMALL,R_0133_0078__TOO)
            & has_arg0(R_0133_0077__IS,R_0133_0076__MOUTH)
            & r_0133_0076__mouth(R_0133_0076__MOUTH)
            & has_gen(R_0133_0076__MOUTH,R_0133_0073__THE_R_0133_0074__HEDGEHOG)
            & has_nim(R_0133_0077__IS,R_0133_0072__OF_COURSE)
            & has_conj2(R_0133_0071__BECAUSE,R_0133_0061__TAKE_R_0133_0063__FROM)
            & r_0133_0061__take_r_0133_0063__from(R_0133_0061__TAKE_R_0133_0063__FROM)
            & has_arg2(R_0133_0061__TAKE_R_0133_0063__FROM,R_0133_0064__THE_R_0133_0065__TEATS)
            & r_0133_0064__the_r_0133_0065__teats(R_0133_0064__THE_R_0133_0065__TEATS)
            & has_r_0133_0066__of(R_0133_0064__THE_R_0133_0065__TEATS,R_0133_0067__A_R_0133_0069__COW)
            & r_0133_0067__a_r_0133_0069__cow(R_0133_0067__A_R_0133_0069__COW)
            & has_attrib(R_0133_0067__A_R_0133_0069__COW,R_0133_0068__RECUMBENT)
            & has_arg1(R_0133_0061__TAKE_R_0133_0063__FROM,R_0133_0062__MILK)
            & has_arg0(R_0133_0061__TAKE_R_0133_0063__FROM,R_0133_0060__HEDGEHOGS)
            & has_arg0(R_0133_0058__BELIEVE,R_0133_0053__FARMERS) )
      & has_arg2(R_0133_0054__ENCOURAGING,R_0133_0053__FARMERS)
      & has_conj2(Z_0133_5025,R_0133_0048__ISSUE_R_0133_0052__TO)
      & r_0133_0048__issue_r_0133_0052__to(R_0133_0048__ISSUE_R_0133_0052__TO)
      & has_arg0(R_0133_0048__ISSUE_R_0133_0052__TO,Z_0133_5021)
      & has_arg2(R_0133_0048__ISSUE_R_0133_0052__TO,R_0133_0053__FARMERS)
      & has_arg1(R_0133_0048__ISSUE_R_0133_0052__TO,R_0133_0049__A_R_0133_0051__NOTICE)
      & ~ has_attrib(R_0133_0049__A_R_0133_0051__NOTICE,R_0133_0050__FORMAL)
      & has_r_0133_0045__in__nim(R_0133_0035__LED,R_0133_0046__1908)
      & has_arg1(R_0133_0035__LED,R_0133_0038__DEPARTMENT)
      & has_arg0(R_0133_0035__LED,R_0133_0022__A_R_0133_0023__SUBJECT)
      & r_0133_0022__a_r_0133_0023__subject(R_0133_0022__A_R_0133_0023__SUBJECT)
      & has_inv_arg1(R_0133_0022__A_R_0133_0023__SUBJECT,R_0133_0026__TAKES_R_0133_0027__FORWARD)
      & r_0133_0026__takes_r_0133_0027__forward(R_0133_0026__TAKES_R_0133_0027__FORWARD)
      & has_r_0133_0028__in__nim(R_0133_0026__TAKES_R_0133_0027__FORWARD,R_0133_0029__A_R_0133_0030__POEM)
      & r_0133_0029__a_r_0133_0030__poem(R_0133_0029__A_R_0133_0030__POEM)
      & has_r_0133_0031__of(R_0133_0029__A_R_0133_0030__POEM,R_0133_0032__1805)
      & has_arg0(R_0133_0026__TAKES_R_0133_0027__FORWARD,R_0133_0024__JOHN_R_0133_0025__CLARE)
      & has_conj1(R_0133_0033__AND,R_0133_0026__TAKES_R_0133_0027__FORWARD)
      & ! [R_0133_0011__A_R_0133_0012__MILLION] :
          ( r_0133_0011__a_r_0133_0012__million(R_0133_0011__A_R_0133_0012__MILLION)
         => ? [R_0133_0014__2_R_0133_0015__MILLION,R_0133_0013__AND,R_0133_0016__HEDGEHOGS,R_0133_0018__1566,R_0133_0020__1800,R_0133_0019__AND,R_0133_0004__THE_R_0133_0005__DEATH,Z_0133_5060,R_0133_0001__THIS,R_0133_0002__LED_R_0133_0003__TO,R_0133_0002__LED_R_0133_0003__TO__AND__Z_0133_5060] :
              ( r_0133_0001__This(R_0133_0001__THIS)
              & r_0133_0014__2_r_0133_0015__million(R_0133_0014__2_R_0133_0015__MILLION)
              & r_0133_0018__1566(R_0133_0018__1566)
              & r_0133_0020__1800(R_0133_0020__1800)
              & r_0133_0002__led_r_0133_0003__to__and__z_0133_5060(R_0133_0002__LED_R_0133_0003__TO__AND__Z_0133_5060)
              & has_conj1(R_0133_0002__LED_R_0133_0003__TO__AND__Z_0133_5060,R_0133_0002__LED_R_0133_0003__TO)
              & r_0133_0002__led_r_0133_0003__to(R_0133_0002__LED_R_0133_0003__TO)
              & has_arg1(R_0133_0002__LED_R_0133_0003__TO,R_0133_0004__THE_R_0133_0005__DEATH)
              & r_0133_0004__the_r_0133_0005__death(R_0133_0004__THE_R_0133_0005__DEATH)
              & has_r_0133_0017__between(R_0133_0004__THE_R_0133_0005__DEATH,R_0133_0019__AND)
              & r_0133_0019__and(R_0133_0019__AND)
              & has_conj2(R_0133_0019__AND,R_0133_0020__1800)
              & has_conj1(R_0133_0019__AND,R_0133_0018__1566)
              & has_r_0133_0006__of(R_0133_0004__THE_R_0133_0005__DEATH,R_0133_0016__HEDGEHOGS)
              & r_0133_0016__hedgehogs(R_0133_0016__HEDGEHOGS)
              & has_r_0133_0007__between(R_0133_0016__HEDGEHOGS,R_0133_0013__AND)
              & r_0133_0013__and(R_0133_0013__AND)
              & has_conj2(R_0133_0013__AND,R_0133_0014__2_R_0133_0015__MILLION)
              & has_conj1(R_0133_0013__AND,R_0133_0011__A_R_0133_0012__MILLION)
              & has_arg0(R_0133_0002__LED_R_0133_0003__TO,R_0133_0001__THIS)
              & has_conj2(R_0133_0002__LED_R_0133_0003__TO__AND__Z_0133_5060,Z_0133_5060)
              & z_0133_5060(Z_0133_5060)
              & has_prd(Z_0133_5060,R_0133_0022__A_R_0133_0023__SUBJECT)
              & has_arg0(Z_0133_5060,R_0133_0004__THE_R_0133_0005__DEATH) ) ) ) ).