TSPC 118_a_hedgehog

118_a_hedgehog
This strange animal was known, of course, in Scotland, Wales and Ireland originally in Gaelic as that demonic creature, that horrid creature, and is the hedgehog celebrated by Shakespeare: “Thorny hedgehogs, be not seen... Come not near our faerie queen”, and famously of course in “Richard III” there is that great moment when Gloucester is referred to as a hedgehog.

arc(r_0118_0001__This_r_0118_0003__animal, r_0118_0002__strange, attrib7).
arc(r_0118_0004__was, r_0118_0005__known, scope).
arc(r_0118_0005__known, r_0118_0001__This_r_0118_0003__animal, arg1).
arc(r_0118_0005__known, r_0118_0007__of_course, nim23).
arc(r_0118_0005__known, r_0118_0013__and, r_0118_0009__in_nim31).
arc(r_0118_0005__known, r_0118_0017__Gaelic, r_0118_0015__originally_r_0118_0016__in_nim53).
arc(r_0118_0005__known, z_000_118_a_hedgehog_17, arg0).
arc(r_0118_0005__known, z_000_118_a_hedgehog_60, prd).
arc(r_0118_0013__and, r_0118_0010__Scotland, conj1).
arc(r_0118_0013__and, r_0118_0012__Wales, conj2).
arc(r_0118_0013__and, r_0118_0014__Ireland, conj3).
arc(r_0118_0019__that_r_0118_0021__creature, r_0118_0020__demonic, attrib64).
arc(r_0118_0023__that_r_0118_0025__creature, r_0118_0024__horrid, attrib75).
arc(r_0118_0027__and, r_0118_0004__was, conj1).
arc(r_0118_0027__and, r_0118_0028__is, conj2).
arc(r_0118_0028__is, r_0118_0001__This_r_0118_0003__animal, arg0).
arc(r_0118_0028__is, r_0118_0029__the_r_0118_0030__hedgehog, prd).
arc(r_0118_0031__celebrated, r_0118_0029__the_r_0118_0030__hedgehog, arg1).
arc(r_0118_0031__celebrated, r_0118_0033__Shakespeare, arg0).
arc(r_0118_0051__and, r_0118_0027__and, conj1).
arc(r_0118_0051__and, r_0118_0059__there_r_0118_0060__is, conj2).
arc(r_0118_0059__there_r_0118_0060__is, r_0118_0052__famously, nim151).
arc(r_0118_0059__there_r_0118_0060__is, r_0118_0053__of_course, nim154).
arc(r_0118_0059__there_r_0118_0060__is, r_0118_0056__Richard_r_0118_0057__III, r_0118_0054__in_nim160).
arc(r_0118_0059__there_r_0118_0060__is, r_0118_0061__that_r_0118_0063__moment, arg0).
arc(r_0118_0061__that_r_0118_0063__moment, r_0118_0062__great, attrib176).
arc(r_0118_0066__is, r_0118_0061__that_r_0118_0063__moment, nim182).
arc(r_0118_0066__is, r_0118_0067__referred, scope).
arc(r_0118_0067__referred, r_0118_0065__Gloucester, arg1).
arc(r_0118_0067__referred, r_0118_0070__a_r_0118_0071__hedgehog, prd).
arc(r_0118_0067__referred, z_000_118_a_hedgehog_191, arg0).
arc(z_000_118_a_hedgehog_60, r_0118_0019__that_r_0118_0021__creature, conj1).
arc(z_000_118_a_hedgehog_60, r_0118_0023__that_r_0118_0025__creature, conj2).

fof(formula,axiom,
    ? [R_0118_0029__THE_R_0118_0030__HEDGEHOG,R_0118_0033__SHAKESPEARE,R_0118_0031__CELEBRATED,R_0118_0002__STRANGE,R_0118_0001__THIS_R_0118_0003__ANIMAL,R_0118_0007__OF_COURSE,R_0118_0010__SCOTLAND,R_0118_0012__WALES,R_0118_0014__IRELAND,R_0118_0013__AND,R_0118_0017__GAELIC,Z_000_118_A_HEDGEHOG_17,R_0118_0020__DEMONIC,R_0118_0019__THAT_R_0118_0021__CREATURE,R_0118_0024__HORRID,R_0118_0023__THAT_R_0118_0025__CREATURE,Z_000_118_A_HEDGEHOG_60,R_0118_0004__WAS_R_0118_0005__KNOWN,R_0118_0028__IS,R_0118_0027__AND,R_0118_0052__FAMOUSLY,R_0118_0053__OF_COURSE,R_0118_0056__RICHARD_R_0118_0057__III,R_0118_0062__GREAT,R_0118_0061__THAT_R_0118_0063__MOMENT,R_0118_0059__THERE_R_0118_0060__IS,R_0118_0051__AND,R_0118_0065__GLOUCESTER,R_0118_0070__A_R_0118_0071__HEDGEHOG,Z_000_118_A_HEDGEHOG_191,R_0118_0066__IS_R_0118_0067__REFERRED] :
      ( r_0118_0002__strange(R_0118_0002__STRANGE)
      & r_0118_0007__of_course(R_0118_0007__OF_COURSE)
      & r_0118_0010__Scotland(R_0118_0010__SCOTLAND)
      & r_0118_0012__Wales(R_0118_0012__WALES)
      & r_0118_0014__Ireland(R_0118_0014__IRELAND)
      & r_0118_0017__Gaelic(R_0118_0017__GAELIC)
      & r_0118_0020__demonic(R_0118_0020__DEMONIC)
      & r_0118_0024__horrid(R_0118_0024__HORRID)
      & r_0118_0029__the_r_0118_0030__hedgehog(R_0118_0029__THE_R_0118_0030__HEDGEHOG)
      & r_0118_0033__Shakespeare(R_0118_0033__SHAKESPEARE)
      & r_0118_0052__famously(R_0118_0052__FAMOUSLY)
      & r_0118_0053__of_course(R_0118_0053__OF_COURSE)
      & r_0118_0056__Richard_r_0118_0057__III(R_0118_0056__RICHARD_R_0118_0057__III)
      & r_0118_0062__great(R_0118_0062__GREAT)
      & r_0118_0065__Gloucester(R_0118_0065__GLOUCESTER)
      & r_0118_0070__a_r_0118_0071__hedgehog(R_0118_0070__A_R_0118_0071__HEDGEHOG)
      & z_000_118_a_hedgehog_17(Z_000_118_A_HEDGEHOG_17)
      & z_000_118_a_hedgehog_191(Z_000_118_A_HEDGEHOG_191)
      & r_0118_0066__is_r_0118_0067__referred(R_0118_0066__IS_R_0118_0067__REFERRED)
      & has_arg0(R_0118_0066__IS_R_0118_0067__REFERRED,Z_000_118_A_HEDGEHOG_191)
      & has_prd(R_0118_0066__IS_R_0118_0067__REFERRED,R_0118_0070__A_R_0118_0071__HEDGEHOG)
      & has_arg1(R_0118_0066__IS_R_0118_0067__REFERRED,R_0118_0065__GLOUCESTER)
      & has_nim182(R_0118_0066__IS_R_0118_0067__REFERRED,R_0118_0061__THAT_R_0118_0063__MOMENT)
      & r_0118_0061__that_r_0118_0063__moment(R_0118_0061__THAT_R_0118_0063__MOMENT)
      & has_attrib176(R_0118_0061__THAT_R_0118_0063__MOMENT,R_0118_0062__GREAT)
      & r_0118_0051__and(R_0118_0051__AND)
      & has_conj2(R_0118_0051__AND,R_0118_0059__THERE_R_0118_0060__IS)
      & r_0118_0059__there_r_0118_0060__is(R_0118_0059__THERE_R_0118_0060__IS)
      & has_arg0(R_0118_0059__THERE_R_0118_0060__IS,R_0118_0061__THAT_R_0118_0063__MOMENT)
      & has_r_0118_0054__in_nim160(R_0118_0059__THERE_R_0118_0060__IS,R_0118_0056__RICHARD_R_0118_0057__III)
      & has_nim154(R_0118_0059__THERE_R_0118_0060__IS,R_0118_0053__OF_COURSE)
      & has_nim151(R_0118_0059__THERE_R_0118_0060__IS,R_0118_0052__FAMOUSLY)
      & has_conj1(R_0118_0051__AND,R_0118_0027__AND)
      & r_0118_0027__and(R_0118_0027__AND)
      & has_conj2(R_0118_0027__AND,R_0118_0028__IS)
      & r_0118_0028__is(R_0118_0028__IS)
      & has_prd(R_0118_0028__IS,R_0118_0029__THE_R_0118_0030__HEDGEHOG)
      & has_arg0(R_0118_0028__IS,R_0118_0001__THIS_R_0118_0003__ANIMAL)
      & r_0118_0001__This_r_0118_0003__animal(R_0118_0001__THIS_R_0118_0003__ANIMAL)
      & has_attrib7(R_0118_0001__THIS_R_0118_0003__ANIMAL,R_0118_0002__STRANGE)
      & has_conj1(R_0118_0027__AND,R_0118_0004__WAS_R_0118_0005__KNOWN)
      & r_0118_0004__was_r_0118_0005__known(R_0118_0004__WAS_R_0118_0005__KNOWN)
      & has_prd(R_0118_0004__WAS_R_0118_0005__KNOWN,Z_000_118_A_HEDGEHOG_60)
      & z_000_118_a_hedgehog_60(Z_000_118_A_HEDGEHOG_60)
      & has_conj2(Z_000_118_A_HEDGEHOG_60,R_0118_0023__THAT_R_0118_0025__CREATURE)
      & r_0118_0023__that_r_0118_0025__creature(R_0118_0023__THAT_R_0118_0025__CREATURE)
      & has_attrib75(R_0118_0023__THAT_R_0118_0025__CREATURE,R_0118_0024__HORRID)
      & has_conj1(Z_000_118_A_HEDGEHOG_60,R_0118_0019__THAT_R_0118_0021__CREATURE)
      & r_0118_0019__that_r_0118_0021__creature(R_0118_0019__THAT_R_0118_0021__CREATURE)
      & has_attrib64(R_0118_0019__THAT_R_0118_0021__CREATURE,R_0118_0020__DEMONIC)
      & has_arg0(R_0118_0004__WAS_R_0118_0005__KNOWN,Z_000_118_A_HEDGEHOG_17)
      & has_r_0118_0015__originally_r_0118_0016__in_nim53(R_0118_0004__WAS_R_0118_0005__KNOWN,R_0118_0017__GAELIC)
      & has_r_0118_0009__in_nim31(R_0118_0004__WAS_R_0118_0005__KNOWN,R_0118_0013__AND)
      & r_0118_0013__and(R_0118_0013__AND)
      & has_conj3(R_0118_0013__AND,R_0118_0014__IRELAND)
      & has_conj2(R_0118_0013__AND,R_0118_0012__WALES)
      & has_conj1(R_0118_0013__AND,R_0118_0010__SCOTLAND)
      & has_nim23(R_0118_0004__WAS_R_0118_0005__KNOWN,R_0118_0007__OF_COURSE)
      & has_arg1(R_0118_0004__WAS_R_0118_0005__KNOWN,R_0118_0001__THIS_R_0118_0003__ANIMAL)
      & r_0118_0031__celebrated(R_0118_0031__CELEBRATED)
      & has_arg0(R_0118_0031__CELEBRATED,R_0118_0033__SHAKESPEARE)
      & has_arg1(R_0118_0031__CELEBRATED,R_0118_0029__THE_R_0118_0030__HEDGEHOG) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (D This;{this})
                              (ADJP (ADJ strange;{strange}))
                              (N animal;{animal}))
                      (ILYR (ILYR (BED;_cat_VePASS_ was;{be})
                                  (IP-PPL-CAT (NP-LGS *)
                                              (VVN;_Cn.n/a_ known;{know[as]})
                                              (PUNC ,)
                                              (ADVP-NIM (ADV of_course;{of_course}))
                                              (PUNC ,)
                                              (PP-NIM (P-ROLE in;{in})
                                                      (NP (NLYR (NLYR (NPR Scotland;{Scotland}))
                                                                (PUNC ,)
                                                                (CONJP (NLYR (NPR Wales;{Wales})))
                                                                (CONJP (CONJ and;{and})
                                                                       (NLYR (NPR Ireland;{Ireland}))))))
                                              (PP-NIM (ADV originally;{originally})
                                                      (P-ROLE in;{in})
                                                      (NP (N Gaelic;{gaelic})))
                                              (PP-PRD (P-ROLE as;{as})
                                                      (NP (NLYR (NLYR (D that;{that})
                                                                      (ADJP (ADJ demonic;{demonic}))
                                                                      (N creature;{creature}))
                                                                (PUNC ,)
                                                                (CONJP (NLYR (D that;{that})
                                                                             (ADJP (ADJ horrid;{horrid}))
                                                                             (N creature;{creature}))))))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (BEP;_Ln_ is;{be})
                                         (NP-PRD (D the;{the})
                                                 (N hedgehog;{hedgehog})
                                                 (IP-PPL (VVN;_Tn_ celebrated;{celebrate})
                                                         (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                 (NP (NPR Shakespeare;{Shakespeare})))
                                                         (PUNC :)
                                                         (PULQ <ldquo>)
                                                         (PRN (utterance (IP-IMP (NP-VOC (NPR Thorny;{Thorny})
                                                                                         (NS hedgehogs;{hedgehog}))
                                                                                 (PUNC ,)
                                                                                 (BE;_cat_VePASS_ be;{be})
                                                                                 (IP-PPL-CAT (NP-LGS *)
                                                                                             (NEG not;{not})
                                                                                             (VVN;_Tn_ seen;{see}))
                                                                                 (PUNC ...))
                                                                         (IP-IMP (VB;_Ipr_ Come;{come[near]})
                                                                                 (NEG not;{not})
                                                                                 (PP-CLR (P-ROLE near;{near})
                                                                                         (NP (NP-GEN (PRO;_genm_ our;{our}))
                                                                                             (N faerie;{faerie})
                                                                                             (N queen;{queen}))))))
                                                         (PURQ <rdquo>)))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV famously;{famously}))
                             (ADVP-NIM (ADV of_course;{of_course}))
                             (PP-NIM (P-ROLE in;{in})
                                     (NP (PULQ <ldquo>)
                                         (NPR Richard;{Richard})
                                         (NPR III;{III})
                                         (PURQ <rdquo>)))
                             (EX there;{there})
                             (BEP;_ex_V_ is;{be})
                             (NP-ESBJ (D that;{that})
                                      (ADJP (ADJ great;{great}))
                                      (N moment;{moment})
                                      (IP-REL (ADVP-NIM (RADV when;{when}))
                                              (NP-SBJ (NPR Gloucester;{Gloucester}))
                                              (BEP;_cat_VePASS_ is;{be})
                                              (IP-PPL-CAT (NP-LGS *)
                                                          (VVN;_phr_Vpr.n/a_ referred;{refer[to,as]})
                                                          (PP-CLR (P-ROLE to;{to}))
                                                          (PP-PRD (P-ROLE as;{as})
                                                                  (NP (D a;{a})
                                                                      (N hedgehog;{hedgehog})))))))))
          (PUNC .))
  (ID 118_a_hedgehog;speaker=Stewart))