TSPC 127_a_hedgehog

127_a_hedgehog
The first scientific reference to the hedgehog is in Aristotle; he is picked up again by Isidore of Seville in the 8th century and again by Buffon in the 18th century, and these are reminders of the ways in which we get hedgehogs wrong.

( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (NUM first;{first})
                              (ADJP (ADJ scientific;{scientific}))
                              (N reference;{reference})
                              (PP (P-ROLE to;{to})
                                  (NP;{HEDGEHOG} (D the;{the})
                                                 (N hedgehog;{hedgehog}))))
                      (BEP;_Ipr_ is;{be[in]})
                      (PP-CLR (P-ROLE in;{in})
                              (NP (NPR Aristotle;{Aristotle}))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ;{HEDGEHOG} (PRO he;{he}))
                             (BEP;_cat_VePASS_ is;{be})
                             (IP-PPL-CAT (ILYR (ILYR (VVN;_phr_Vn<=>p_ picked;{pick[up]})
                                                     (RP up;{up})
                                                     (ADVP-NIM (ADV again;{again}))
                                                     (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                             (NP (N Isidore;{isidore})
                                                                 (PP (P-ROLE of;{of})
                                                                     (NP (NPR Seville;{Seville})))
                                                                 (PP (P-ROLE in;{in})
                                                                     (NP (D the;{the})
                                                                         (ADJP (ADJ 8th))
                                                                         (N century;{century}))))))
                                               (CONJP (CONJ and;{and})
                                                      (ILYR (ADVP-NIM (ADV again;{again}))
                                                            (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                    (NP (NPR Buffon;{Buffon})
                                                                        (PP (P-ROLE in;{in})
                                                                            (NP (D the;{the})
                                                                                (ADJP (ADJ 18th))
                                                                                (N century;{century})))))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D;_nphd_ these;{these}))
                             (BEP;_Ln_ are;{be})
                             (NP-PRD (NS reminders;{reminder})
                                     (PP (P-ROLE of;{of})
                                         (NP (D the;{the})
                                             (NS ways;{way})
                                             (IP-REL (PP-NIM (P-ROLE in;{in})
                                                             (NP (RPRO which;{which})))
                                                     (NP-SBJ (PRO we;{we}))
                                                     (VBP;_Cn.a_ get;{get})
                                                     (NP-OB1 (NS hedgehogs;{hedgehog}))
                                                     (ADJP-PRD (ADJ wrong;{wrong})))))))))
          (PUNC .))
  (ID 127_a_hedgehog;speaker=Stewart))

arc(r_0127_0001__The_r_0127_0002__first_r_0127_0004__reference,r_0127_0003__scientific,attrib).
arc(r_0127_0001__The_r_0127_0002__first_r_0127_0004__reference,r_0127_0006__the_r_0127_0007__hedgehog,r_0127_0005__to).
arc(r_0127_0008__is_r_0127_0009__in,r_0127_0001__The_r_0127_0002__first_r_0127_0004__reference,arg0).
arc(r_0127_0008__is_r_0127_0009__in,r_0127_0010__Aristotle,arg1).
arc(r_0127_0013__is,r_0127_0025__and,scope).
arc(r_0127_0014__picked_r_0127_0015__up,r_0127_0006__the_r_0127_0007__hedgehog,arg1).
arc(r_0127_0014__picked_r_0127_0015__up,r_0127_0016__again,nim).
arc(r_0127_0014__picked_r_0127_0015__up,r_0127_0018__Isidore,r_0127_0017__by_arg0).
arc(r_0127_0018__Isidore,r_0127_0020__Seville,r_0127_0019__of).
arc(r_0127_0018__Isidore,r_0127_0022__the_r_0127_0024__century,r_0127_0021__in).
arc(r_0127_0022__the_r_0127_0024__century,r_0127_0023__8th,attrib).
arc(r_0127_0025__and,r_0127_0014__picked_r_0127_0015__up,conj1).
arc(r_0127_0025__and,z_0127_5015,conj2).
arc(r_0127_0028__Buffon,r_0127_0030__the_r_0127_0032__century,r_0127_0029__in).
arc(r_0127_0030__the_r_0127_0032__century,r_0127_0031__18th,attrib).
arc(r_0127_0034__and,r_0127_0008__is_r_0127_0009__in,conj1).
arc(r_0127_0034__and,r_0127_0013__is,conj2).
arc(r_0127_0034__and,r_0127_0036__are,conj3).
arc(r_0127_0036__are,r_0127_0035__these,arg0).
arc(r_0127_0036__are,r_0127_0037__reminders,prd).
arc(r_0127_0037__reminders,r_0127_0039__the_r_0127_0040__ways,r_0127_0038__of).
arc(r_0127_0044__get,r_0127_0039__the_r_0127_0040__ways,r_0127_0041__in__nim).
arc(r_0127_0044__get,r_0127_0043__we,arg0).
arc(r_0127_0044__get,r_0127_0045__hedgehogs,arg1).
arc(r_0127_0044__get,r_0127_0046__wrong,prd).
arc(z_0127_5015,r_0127_0006__the_r_0127_0007__hedgehog,arg1).
arc(z_0127_5015,r_0127_0026__again,nim).
arc(z_0127_5015,r_0127_0028__Buffon,r_0127_0027__by_arg0).

fof(formula,axiom,
    ? [R_0127_0003__SCIENTIFIC,R_0127_0006__THE_R_0127_0007__HEDGEHOG,R_0127_0001__THE_R_0127_0002__FIRST_R_0127_0004__REFERENCE,R_0127_0010__ARISTOTLE,R_0127_0008__IS_R_0127_0009__IN,R_0127_0016__AGAIN,R_0127_0020__SEVILLE,R_0127_0023__8TH,R_0127_0022__THE_R_0127_0024__CENTURY,R_0127_0018__ISIDORE,R_0127_0014__PICKED_R_0127_0015__UP,R_0127_0026__AGAIN,R_0127_0031__18TH,R_0127_0030__THE_R_0127_0032__CENTURY,R_0127_0028__BUFFON,Z_0127_5015,R_0127_0025__AND,R_0127_0013__IS,R_0127_0035__THESE,R_0127_0039__THE_R_0127_0040__WAYS,R_0127_0037__REMINDERS,R_0127_0036__ARE,R_0127_0034__AND,R_0127_0043__WE,R_0127_0045__HEDGEHOGS,R_0127_0046__WRONG,R_0127_0044__GET] :
      ( r_0127_0003__scientific(R_0127_0003__SCIENTIFIC)
      & r_0127_0006__the_r_0127_0007__hedgehog(R_0127_0006__THE_R_0127_0007__HEDGEHOG)
      & r_0127_0010__Aristotle(R_0127_0010__ARISTOTLE)
      & r_0127_0016__again(R_0127_0016__AGAIN)
      & r_0127_0020__Seville(R_0127_0020__SEVILLE)
      & r_0127_0023__8th(R_0127_0023__8TH)
      & r_0127_0026__again(R_0127_0026__AGAIN)
      & r_0127_0031__18th(R_0127_0031__18TH)
      & r_0127_0035__these(R_0127_0035__THESE)
      & r_0127_0039__the_r_0127_0040__ways(R_0127_0039__THE_R_0127_0040__WAYS)
      & r_0127_0043__we(R_0127_0043__WE)
      & r_0127_0045__hedgehogs(R_0127_0045__HEDGEHOGS)
      & r_0127_0046__wrong(R_0127_0046__WRONG)
      & r_0127_0044__get(R_0127_0044__GET)
      & has_prd(R_0127_0044__GET,R_0127_0046__WRONG)
      & has_arg1(R_0127_0044__GET,R_0127_0045__HEDGEHOGS)
      & has_arg0(R_0127_0044__GET,R_0127_0043__WE)
      & has_r_0127_0041__in__nim(R_0127_0044__GET,R_0127_0039__THE_R_0127_0040__WAYS)
      & r_0127_0034__and(R_0127_0034__AND)
      & has_conj3(R_0127_0034__AND,R_0127_0036__ARE)
      & r_0127_0036__are(R_0127_0036__ARE)
      & has_prd(R_0127_0036__ARE,R_0127_0037__REMINDERS)
      & r_0127_0037__reminders(R_0127_0037__REMINDERS)
      & has_r_0127_0038__of(R_0127_0037__REMINDERS,R_0127_0039__THE_R_0127_0040__WAYS)
      & has_arg0(R_0127_0036__ARE,R_0127_0035__THESE)
      & has_conj2(R_0127_0034__AND,R_0127_0013__IS)
      & r_0127_0013__is(R_0127_0013__IS)
      & has_keep_scope(R_0127_0013__IS,R_0127_0025__AND)
      & r_0127_0025__and(R_0127_0025__AND)
      & has_conj2(R_0127_0025__AND,Z_0127_5015)
      & z_0127_5015(Z_0127_5015)
      & has_r_0127_0027__by_arg0(Z_0127_5015,R_0127_0028__BUFFON)
      & r_0127_0028__Buffon(R_0127_0028__BUFFON)
      & has_r_0127_0029__in(R_0127_0028__BUFFON,R_0127_0030__THE_R_0127_0032__CENTURY)
      & r_0127_0030__the_r_0127_0032__century(R_0127_0030__THE_R_0127_0032__CENTURY)
      & has_attrib(R_0127_0030__THE_R_0127_0032__CENTURY,R_0127_0031__18TH)
      & has_nim(Z_0127_5015,R_0127_0026__AGAIN)
      & has_arg1(Z_0127_5015,R_0127_0006__THE_R_0127_0007__HEDGEHOG)
      & has_conj1(R_0127_0025__AND,R_0127_0014__PICKED_R_0127_0015__UP)
      & r_0127_0014__picked_r_0127_0015__up(R_0127_0014__PICKED_R_0127_0015__UP)
      & has_r_0127_0017__by_arg0(R_0127_0014__PICKED_R_0127_0015__UP,R_0127_0018__ISIDORE)
      & r_0127_0018__Isidore(R_0127_0018__ISIDORE)
      & has_r_0127_0021__in(R_0127_0018__ISIDORE,R_0127_0022__THE_R_0127_0024__CENTURY)
      & r_0127_0022__the_r_0127_0024__century(R_0127_0022__THE_R_0127_0024__CENTURY)
      & has_attrib(R_0127_0022__THE_R_0127_0024__CENTURY,R_0127_0023__8TH)
      & has_r_0127_0019__of(R_0127_0018__ISIDORE,R_0127_0020__SEVILLE)
      & has_nim(R_0127_0014__PICKED_R_0127_0015__UP,R_0127_0016__AGAIN)
      & has_arg1(R_0127_0014__PICKED_R_0127_0015__UP,R_0127_0006__THE_R_0127_0007__HEDGEHOG)
      & has_conj1(R_0127_0034__AND,R_0127_0008__IS_R_0127_0009__IN)
      & r_0127_0008__is_r_0127_0009__in(R_0127_0008__IS_R_0127_0009__IN)
      & has_arg1(R_0127_0008__IS_R_0127_0009__IN,R_0127_0010__ARISTOTLE)
      & has_arg0(R_0127_0008__IS_R_0127_0009__IN,R_0127_0001__THE_R_0127_0002__FIRST_R_0127_0004__REFERENCE)
      & r_0127_0001__The_r_0127_0002__first_r_0127_0004__reference(R_0127_0001__THE_R_0127_0002__FIRST_R_0127_0004__REFERENCE)
      & has_r_0127_0005__to(R_0127_0001__THE_R_0127_0002__FIRST_R_0127_0004__REFERENCE,R_0127_0006__THE_R_0127_0007__HEDGEHOG)
      & has_attrib(R_0127_0001__THE_R_0127_0002__FIRST_R_0127_0004__REFERENCE,R_0127_0003__SCIENTIFIC) ) ).