TSPC 119_a_hedgehog

119_a_hedgehog
It tells us something about Britain today; it represents a strange decline in British civilisation from a notion of this magical, mystical, terrifying creature to where it is today, and I refer of course to my own constituent, the famous cleanliness representative of Penrith and The Border, Mrs Tiggy-Winkle.

( (IP-MAT (NP-SBJ;{HEDGEHOG} (PRO It;{it}))
          (VBP;_Dn.n_ tells;{tell})
          (NP-OB2 (PRO us;{we}))
          (NP-OB1 (D;_nphd_ something;{something})
                  (PP (P-ROLE about;{about})
                      (NP;{COUNTRY} (NPR Britain;{Britain}))))
          (NP-NIM (N today;{today}))
          (PUNC ;)
          (PRN (IP-MAT (ILYR (ILYR (NP-SBJ;{HEDGEHOG} (PRO it;{it}))
                                   (VBP;_Tn_ represents;{represent})
                                   (NP-OB1 (D a;{a})
                                           (ADJP (ADJ strange;{strange}))
                                           (N decline;{decline})
                                           (PP (P-ROLE in;{in})
                                               (NP (ADJP (ADJ British;{british}))
                                                   (N civilisation;{civilization}))))
                                   (PP-NIM (P-ROLE from;{from})
                                           (NP (D a;{a})
                                               (N notion;{notion})
                                               (PP (P-ROLE of;{of})
                                                   (NP (D this;{this})
                                                       (ADJP (ADJ magical;{magical}))
                                                       (PUNC ,)
                                                       (ADJP (ADJ mystical;{mystical}))
                                                       (PUNC ,)
                                                       (ADJP (ADJ terrifying;{terrifying}))
                                                       (N creature;{creature})))))
                                   (PP-NIM (P-ROLE to;{to})
                                           (NP (IP-REL (ADVP-NIM (RADV where;{where}))
                                                       (NP-SBJ;{HEDGEHOG} (PRO it;{it}))
                                                       (BEP;_Ln_ is;{be})
                                                       (NP-PRD (N today;{today}))))))
                             (PUNC ,)
                             (CONJP (CONJ and;{and})
                                    (ILYR (NP-SBJ (PRO I;{I}))
                                          (VBP;_Ipr_ refer;{refer[to]})
                                          (ADVP-NIM (ADV of_course;{of_course}))
                                          (PP-CLR (P-ROLE to;{to})
                                                  (NP (NP-GEN (NP-GEN (PRO;_genm_ my;{my}))
                                                              (ADJP (ADJ own;{own})))
                                                      (N constituent;{constituent})
                                                      (PUNC ,)
                                                      (PRN (NP (D the;{the})
                                                               (ADJP (ADJ famous;{famous}))
                                                               (N cleanliness;{cleanliness})
                                                               (N representative;{representative})
                                                               (PP (P-ROLE of;{of})
                                                                   (NP (NLYR (NLYR (NPR Penrith;{Penrith}))
                                                                             (CONJP (CONJ and;{and})
                                                                                    (NLYR (D The;{the})
                                                                                          (N Border;{border}))))))
                                                               (PUNC ,)
                                                               (PRN (NP (NPR Mrs;{Mrs})
                                                                        (NPR Tiggy_<hyphen>_Winkle;{Tiggy_Winkle}))))))))))))
          (PUNC .))
  (ID 119_a_hedgehog;speaker=Stewart))

arc(r_0119_0002__tells,r_0119_0001__It,arg0).
arc(r_0119_0002__tells,r_0119_0003__us,arg2).
arc(r_0119_0002__tells,r_0119_0004__something,arg1).
arc(r_0119_0002__tells,r_0119_0007__today,nim).
arc(r_0119_0002__tells,r_0119_0034__and,prn).
arc(r_0119_0004__something,r_0119_0006__Britain,r_0119_0005__about).
arc(r_0119_0010__represents,r_0119_0001__It,arg0).
arc(r_0119_0010__represents,r_0119_0011__a_r_0119_0013__decline,arg1).
arc(r_0119_0010__represents,r_0119_0018__a_r_0119_0019__notion,r_0119_0017__from__nim).
arc(r_0119_0010__represents,r_0119_0029__where,r_0119_0028__to__nim).
arc(r_0119_0011__a_r_0119_0013__decline,r_0119_0012__strange,attrib).
arc(r_0119_0011__a_r_0119_0013__decline,r_0119_0016__civilisation,r_0119_0014__in).
arc(r_0119_0016__civilisation,r_0119_0015__British,attrib).
arc(r_0119_0018__a_r_0119_0019__notion,r_0119_0021__this_r_0119_0027__creature,r_0119_0020__of).
arc(r_0119_0021__this_r_0119_0027__creature,r_0119_0022__magical,attrib).
arc(r_0119_0021__this_r_0119_0027__creature,r_0119_0024__mystical,attrib).
arc(r_0119_0021__this_r_0119_0027__creature,r_0119_0026__terrifying,attrib).
arc(r_0119_0031__is,r_0119_0001__It,arg0).
arc(r_0119_0031__is,r_0119_0029__where,nim).
arc(r_0119_0031__is,r_0119_0032__today,prd).
arc(r_0119_0034__and,r_0119_0010__represents,conj1).
arc(r_0119_0034__and,r_0119_0036__refer_r_0119_0038__to,conj2).
arc(r_0119_0036__refer_r_0119_0038__to,r_0119_0035__I,arg0).
arc(r_0119_0036__refer_r_0119_0038__to,r_0119_0037__of_course,nim).
arc(r_0119_0036__refer_r_0119_0038__to,r_0119_0041__constituent,arg1).
arc(r_0119_0041__constituent,z_0119_5021,gen).
arc(r_0119_0043__the_r_0119_0045__cleanliness_r_0119_0046__representative,r_0119_0044__famous,attrib).
arc(r_0119_0043__the_r_0119_0045__cleanliness_r_0119_0046__representative,r_0119_0049__and,r_0119_0047__of).
arc(r_0119_0049__and,r_0119_0048__Penrith,conj1).
arc(r_0119_0049__and,r_0119_0050__The_r_0119_0051__Border,conj2).
arc(z_0119_5021,r_0119_0035__I,gen).
arc(z_0119_5021,r_0119_0040__own,attrib).
arc(z_0119_5026,r_0119_0043__the_r_0119_0045__cleanliness_r_0119_0046__representative,arg0).
arc(z_0119_5026,r_0119_0053__Mrs_r_0119_0054__Tiggy__hyphen__Winkle,prd).
arc(z_0119_5028,r_0119_0041__constituent,arg0).
arc(z_0119_5028,r_0119_0043__the_r_0119_0045__cleanliness_r_0119_0046__representative,prd).

fof(formula,axiom,
    ? [R_0119_0001__IT,R_0119_0003__US,R_0119_0006__BRITAIN,R_0119_0004__SOMETHING,R_0119_0007__TODAY,R_0119_0012__STRANGE,R_0119_0015__BRITISH,R_0119_0016__CIVILISATION,R_0119_0011__A_R_0119_0013__DECLINE,R_0119_0022__MAGICAL,R_0119_0024__MYSTICAL,R_0119_0026__TERRIFYING,R_0119_0021__THIS_R_0119_0027__CREATURE,R_0119_0018__A_R_0119_0019__NOTION,R_0119_0029__WHERE,R_0119_0010__REPRESENTS,R_0119_0035__I,R_0119_0037__OF_COURSE,R_0119_0040__OWN,Z_0119_5021,R_0119_0041__CONSTITUENT,R_0119_0036__REFER_R_0119_0038__TO,R_0119_0034__AND,R_0119_0002__TELLS,R_0119_0032__TODAY,R_0119_0031__IS,R_0119_0044__FAMOUS,R_0119_0048__PENRITH,R_0119_0050__THE_R_0119_0051__BORDER,R_0119_0049__AND,R_0119_0043__THE_R_0119_0045__CLEANLINESS_R_0119_0046__REPRESENTATIVE,R_0119_0053__MRS_R_0119_0054__TIGGY__HYPHEN__WINKLE,Z_0119_5026,Z_0119_5028] :
      ( r_0119_0001__It(R_0119_0001__IT)
      & r_0119_0003__us(R_0119_0003__US)
      & r_0119_0006__Britain(R_0119_0006__BRITAIN)
      & r_0119_0007__today(R_0119_0007__TODAY)
      & r_0119_0012__strange(R_0119_0012__STRANGE)
      & r_0119_0015__British(R_0119_0015__BRITISH)
      & r_0119_0022__magical(R_0119_0022__MAGICAL)
      & r_0119_0024__mystical(R_0119_0024__MYSTICAL)
      & r_0119_0026__terrifying(R_0119_0026__TERRIFYING)
      & r_0119_0029__where(R_0119_0029__WHERE)
      & r_0119_0032__today(R_0119_0032__TODAY)
      & r_0119_0035__I(R_0119_0035__I)
      & r_0119_0037__of_course(R_0119_0037__OF_COURSE)
      & r_0119_0040__own(R_0119_0040__OWN)
      & r_0119_0044__famous(R_0119_0044__FAMOUS)
      & r_0119_0048__Penrith(R_0119_0048__PENRITH)
      & r_0119_0050__The_r_0119_0051__Border(R_0119_0050__THE_R_0119_0051__BORDER)
      & r_0119_0053__Mrs_r_0119_0054__Tiggy__hyphen__Winkle(R_0119_0053__MRS_R_0119_0054__TIGGY__HYPHEN__WINKLE)
      & z_0119_5028(Z_0119_5028)
      & has_prd(Z_0119_5028,R_0119_0043__THE_R_0119_0045__CLEANLINESS_R_0119_0046__REPRESENTATIVE)
      & r_0119_0043__the_r_0119_0045__cleanliness_r_0119_0046__representative(R_0119_0043__THE_R_0119_0045__CLEANLINESS_R_0119_0046__REPRESENTATIVE)
      & has_r_0119_0047__of(R_0119_0043__THE_R_0119_0045__CLEANLINESS_R_0119_0046__REPRESENTATIVE,R_0119_0049__AND)
      & r_0119_0049__and(R_0119_0049__AND)
      & has_conj2(R_0119_0049__AND,R_0119_0050__THE_R_0119_0051__BORDER)
      & has_conj1(R_0119_0049__AND,R_0119_0048__PENRITH)
      & has_attrib(R_0119_0043__THE_R_0119_0045__CLEANLINESS_R_0119_0046__REPRESENTATIVE,R_0119_0044__FAMOUS)
      & has_arg0(Z_0119_5028,R_0119_0041__CONSTITUENT)
      & r_0119_0041__constituent(R_0119_0041__CONSTITUENT)
      & has_gen(R_0119_0041__CONSTITUENT,Z_0119_5021)
      & z_0119_5021(Z_0119_5021)
      & has_attrib(Z_0119_5021,R_0119_0040__OWN)
      & has_gen(Z_0119_5021,R_0119_0035__I)
      & z_0119_5026(Z_0119_5026)
      & has_prd(Z_0119_5026,R_0119_0053__MRS_R_0119_0054__TIGGY__HYPHEN__WINKLE)
      & has_arg0(Z_0119_5026,R_0119_0043__THE_R_0119_0045__CLEANLINESS_R_0119_0046__REPRESENTATIVE)
      & r_0119_0031__is(R_0119_0031__IS)
      & has_prd(R_0119_0031__IS,R_0119_0032__TODAY)
      & has_nim(R_0119_0031__IS,R_0119_0029__WHERE)
      & has_arg0(R_0119_0031__IS,R_0119_0001__IT)
      & r_0119_0002__tells(R_0119_0002__TELLS)
      & has_prn(R_0119_0002__TELLS,R_0119_0034__AND)
      & r_0119_0034__and(R_0119_0034__AND)
      & has_conj2(R_0119_0034__AND,R_0119_0036__REFER_R_0119_0038__TO)
      & r_0119_0036__refer_r_0119_0038__to(R_0119_0036__REFER_R_0119_0038__TO)
      & has_arg1(R_0119_0036__REFER_R_0119_0038__TO,R_0119_0041__CONSTITUENT)
      & has_nim(R_0119_0036__REFER_R_0119_0038__TO,R_0119_0037__OF_COURSE)
      & has_arg0(R_0119_0036__REFER_R_0119_0038__TO,R_0119_0035__I)
      & has_conj1(R_0119_0034__AND,R_0119_0010__REPRESENTS)
      & r_0119_0010__represents(R_0119_0010__REPRESENTS)
      & has_r_0119_0028__to__nim(R_0119_0010__REPRESENTS,R_0119_0029__WHERE)
      & has_r_0119_0017__from__nim(R_0119_0010__REPRESENTS,R_0119_0018__A_R_0119_0019__NOTION)
      & ~ ( has_r_0119_0020__of(R_0119_0018__A_R_0119_0019__NOTION,R_0119_0021__THIS_R_0119_0027__CREATURE)
          & r_0119_0021__this_r_0119_0027__creature(R_0119_0021__THIS_R_0119_0027__CREATURE)
          & has_attrib(R_0119_0021__THIS_R_0119_0027__CREATURE,R_0119_0026__TERRIFYING)
          & has_attrib(R_0119_0021__THIS_R_0119_0027__CREATURE,R_0119_0024__MYSTICAL)
          & has_attrib(R_0119_0021__THIS_R_0119_0027__CREATURE,R_0119_0022__MAGICAL) )
      & has_arg1(R_0119_0010__REPRESENTS,R_0119_0011__A_R_0119_0013__DECLINE)
      & r_0119_0011__a_r_0119_0013__decline(R_0119_0011__A_R_0119_0013__DECLINE)
      & has_r_0119_0014__in(R_0119_0011__A_R_0119_0013__DECLINE,R_0119_0016__CIVILISATION)
      & r_0119_0016__civilisation(R_0119_0016__CIVILISATION)
      & has_attrib(R_0119_0016__CIVILISATION,R_0119_0015__BRITISH)
      & has_attrib(R_0119_0011__A_R_0119_0013__DECLINE,R_0119_0012__STRANGE)
      & has_arg0(R_0119_0010__REPRESENTS,R_0119_0001__IT)
      & has_nim(R_0119_0002__TELLS,R_0119_0007__TODAY)
      & has_arg1(R_0119_0002__TELLS,R_0119_0004__SOMETHING)
      & r_0119_0004__something(R_0119_0004__SOMETHING)
      & has_r_0119_0005__about(R_0119_0004__SOMETHING,R_0119_0006__BRITAIN)
      & has_arg2(R_0119_0002__TELLS,R_0119_0003__US)
      & has_arg0(R_0119_0002__TELLS,R_0119_0001__IT) ) ).