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.

( (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 (ADVP-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))

arc(r_0118_0001__This_r_0118_0003__animal,r_0118_0002__strange,attrib).
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,nim).
arc(r_0118_0005__known,r_0118_0013__and,r_0118_0009__in__nim).
arc(r_0118_0005__known,r_0118_0017__Gaelic,r_0118_0015__originally_r_0118_0016__in__nim).
arc(r_0118_0005__known,z_0118_5009,r_0118_0018__as__prd).
arc(r_0118_0005__known,z_0118_5013___star_,arg0).
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,attrib).
arc(r_0118_0023__that_r_0118_0025__creature,r_0118_0024__horrid,attrib).
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,inv_arg1).
arc(r_0118_0031__celebrated,r_0118_0033__Shakespeare,r_0118_0032__by_arg0).
arc(r_0118_0031__celebrated,z_0118_5018__utterance,prn).
arc(r_0118_0039__be,r_0118_0036__Thorny_r_0118_0037__hedgehogs,voc).
arc(r_0118_0039__be,r_0118_0040__not,scope).
arc(r_0118_0040__not,r_0118_0041__seen,keep_scope).
arc(r_0118_0041__seen,z_0118_5020,arg1).
arc(r_0118_0041__seen,z_0118_5024___star_,arg0).
arc(r_0118_0043__Come_r_0118_0045__near,r_0118_0047__faerie_r_0118_0048__queen,arg1).
arc(r_0118_0043__Come_r_0118_0045__near,z_0118_5028,arg0).
arc(r_0118_0044__not,r_0118_0043__Come_r_0118_0045__near,keep_scope).
arc(r_0118_0047__faerie_r_0118_0048__queen,r_0118_0046__our,gen).
arc(r_0118_0051__and,r_0118_0027__and,conj1).
arc(r_0118_0051__and,r_0118_0060__is,conj2).
arc(r_0118_0060__is,r_0118_0052__famously,nim).
arc(r_0118_0060__is,r_0118_0053__of_course,nim).
arc(r_0118_0060__is,r_0118_0056__Richard_r_0118_0057__III,r_0118_0054__in__nim).
arc(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,attrib).
arc(r_0118_0066__is,r_0118_0061__that_r_0118_0063__moment,nim).
arc(r_0118_0066__is,r_0118_0067__referred_r_0118_0068__to,scope).
arc(r_0118_0067__referred_r_0118_0068__to,r_0118_0065__Gloucester,arg1).
arc(r_0118_0067__referred_r_0118_0068__to,r_0118_0070__a_r_0118_0071__hedgehog,r_0118_0069__as__prd).
arc(r_0118_0067__referred_r_0118_0068__to,z_0118_5040___star_,arg0).
arc(z_0118_5009,r_0118_0019__that_r_0118_0021__creature,conj1).
arc(z_0118_5009,r_0118_0023__that_r_0118_0025__creature,conj2).
arc(z_0118_5018__utterance,r_0118_0039__be,part1).
arc(z_0118_5018__utterance,r_0118_0044__not,part2).

fof(formula,axiom,
    ? [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,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_0118_5009,Z_0118_5013___STAR_,R_0118_0004__WAS_R_0118_0005__KNOWN,R_0118_0033__SHAKESPEARE,R_0118_0036__THORNY_R_0118_0037__HEDGEHOGS,Z_0118_5020,Z_0118_5024___STAR_,R_0118_0041__SEEN,Z_0118_5018__UTTERANCE,R_0118_0031__CELEBRATED,R_0118_0029__THE_R_0118_0030__HEDGEHOG,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_0060__IS,R_0118_0051__AND,R_0118_0065__GLOUCESTER,R_0118_0070__A_R_0118_0071__HEDGEHOG,Z_0118_5040___STAR_,R_0118_0066__IS_R_0118_0067__REFERRED_R_0118_0068__TO] :
      ( 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_0033__Shakespeare(R_0118_0033__SHAKESPEARE)
      & r_0118_0036__Thorny_r_0118_0037__hedgehogs(R_0118_0036__THORNY_R_0118_0037__HEDGEHOGS)
      & 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_0118_5013___star_(Z_0118_5013___STAR_)
      & z_0118_5020(Z_0118_5020)
      & z_0118_5024___star_(Z_0118_5024___STAR_)
      & z_0118_5040___star_(Z_0118_5040___STAR_)
      & r_0118_0066__is_r_0118_0067__referred_r_0118_0068__to(R_0118_0066__IS_R_0118_0067__REFERRED_R_0118_0068__TO)
      & has_arg0(R_0118_0066__IS_R_0118_0067__REFERRED_R_0118_0068__TO,Z_0118_5040___STAR_)
      & has_r_0118_0069__as__prd(R_0118_0066__IS_R_0118_0067__REFERRED_R_0118_0068__TO,R_0118_0070__A_R_0118_0071__HEDGEHOG)
      & has_arg1(R_0118_0066__IS_R_0118_0067__REFERRED_R_0118_0068__TO,R_0118_0065__GLOUCESTER)
      & has_nim(R_0118_0066__IS_R_0118_0067__REFERRED_R_0118_0068__TO,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_attrib(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_0060__IS)
      & r_0118_0060__is(R_0118_0060__IS)
      & has_arg0(R_0118_0060__IS,R_0118_0061__THAT_R_0118_0063__MOMENT)
      & has_r_0118_0054__in__nim(R_0118_0060__IS,R_0118_0056__RICHARD_R_0118_0057__III)
      & has_nim(R_0118_0060__IS,R_0118_0053__OF_COURSE)
      & has_nim(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)
      & r_0118_0029__the_r_0118_0030__hedgehog(R_0118_0029__THE_R_0118_0030__HEDGEHOG)
      & has_inv_arg1(R_0118_0029__THE_R_0118_0030__HEDGEHOG,R_0118_0031__CELEBRATED)
      & r_0118_0031__celebrated(R_0118_0031__CELEBRATED)
      & has_prn(R_0118_0031__CELEBRATED,Z_0118_5018__UTTERANCE)
      & z_0118_5018__utterance(Z_0118_5018__UTTERANCE)
      & has_part2(Z_0118_5018__UTTERANCE,R_0118_0044__NOT)
      & ~ ? [R_0118_0046__OUR,R_0118_0047__FAERIE_R_0118_0048__QUEEN,Z_0118_5028,R_0118_0043__COME_R_0118_0045__NEAR] :
            ( r_0118_0046__our(R_0118_0046__OUR)
            & z_0118_5028(Z_0118_5028)
            & r_0118_0043__Come_r_0118_0045__near(R_0118_0043__COME_R_0118_0045__NEAR)
            & has_arg0(R_0118_0043__COME_R_0118_0045__NEAR,Z_0118_5028)
            & has_arg1(R_0118_0043__COME_R_0118_0045__NEAR,R_0118_0047__FAERIE_R_0118_0048__QUEEN)
            & r_0118_0047__faerie_r_0118_0048__queen(R_0118_0047__FAERIE_R_0118_0048__QUEEN)
            & has_gen(R_0118_0047__FAERIE_R_0118_0048__QUEEN,R_0118_0046__OUR) )
      & has_part1(Z_0118_5018__UTTERANCE,R_0118_0039__BE_R_0118_0040__NOT)
      & ~ ( has_keep_scope(R_0118_0039__BE_R_0118_0040__NOT,R_0118_0041__SEEN)
          & r_0118_0041__seen(R_0118_0041__SEEN)
          & has_arg0(R_0118_0041__SEEN,Z_0118_5024___STAR_)
          & has_arg1(R_0118_0041__SEEN,Z_0118_5020)
          & has_voc(R_0118_0039__BE_R_0118_0040__NOT,R_0118_0036__THORNY_R_0118_0037__HEDGEHOGS) )
      & has_r_0118_0032__by_arg0(R_0118_0031__CELEBRATED,R_0118_0033__SHAKESPEARE)
      & 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_attrib(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_arg0(R_0118_0004__WAS_R_0118_0005__KNOWN,Z_0118_5013___STAR_)
      & has_r_0118_0018__as__prd(R_0118_0004__WAS_R_0118_0005__KNOWN,Z_0118_5009)
      & z_0118_5009(Z_0118_5009)
      & has_conj2(Z_0118_5009,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_attrib(R_0118_0023__THAT_R_0118_0025__CREATURE,R_0118_0024__HORRID)
      & has_conj1(Z_0118_5009,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_attrib(R_0118_0019__THAT_R_0118_0021__CREATURE,R_0118_0020__DEMONIC)
      & has_r_0118_0015__originally_r_0118_0016__in__nim(R_0118_0004__WAS_R_0118_0005__KNOWN,R_0118_0017__GAELIC)
      & has_r_0118_0009__in__nim(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_nim(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) ) ).