arc(r_0127_0001__The_r_0127_0002__first_r_0127_0004__reference, r_0127_0003__scientific, attrib9).
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_0001__The_r_0127_0002__first_r_0127_0004__reference, arg0).
arc(r_0127_0008__is, r_0127_0010__Aristotle, r_0127_0009__in_clr27).
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, nim46).
arc(r_0127_0014__picked_r_0127_0015__up, r_0127_0018__Isidore, 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, attrib67).
arc(r_0127_0025__and, r_0127_0014__picked_r_0127_0015__up, conj1).
arc(r_0127_0025__and, z_000_127_a_hedgehog_75, 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, attrib91).
arc(r_0127_0034__and, r_0127_0008__is, 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_nim122).
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_000_127_a_hedgehog_75, r_0127_0006__the_r_0127_0007__hedgehog, arg1).
arc(z_000_127_a_hedgehog_75, r_0127_0026__again, nim76).
arc(z_000_127_a_hedgehog_75, r_0127_0028__Buffon, arg0).

fof(formula,axiom,
    ? [R_127_34_AND,R_127_8_IS,R_127_1_THE_FIRST_REFERENCE,R_127_3_SCIENTIFIC,R_127_6_THE_HEDGEHOG,R_127_10_ARISTOTLE,R_127_36_ARE,R_127_35_THESE,R_127_37_REMINDERS,R_127_44_GET,R_127_43_WE,R_127_45_HEDGEHOGS,R_127_46_WRONG,R_127_39_THE_WAYS] :
      ( scientific(R_127_3_SCIENTIFIC)
      & the_hedgehog(R_127_6_THE_HEDGEHOG)
      & aristotle(R_127_10_ARISTOTLE)
      & these(R_127_35_THESE)
      & we(R_127_43_WE)
      & hedgehogs(R_127_45_HEDGEHOGS)
      & wrong(R_127_46_WRONG)
      & the_ways(R_127_39_THE_WAYS)
      & and(R_127_34_AND)
      & conj1(R_127_34_AND,R_127_8_IS)
      & is(R_127_8_IS,R_127_1_THE_FIRST_REFERENCE)
      & the_first_reference(R_127_1_THE_FIRST_REFERENCE)
      & attrib9(R_127_1_THE_FIRST_REFERENCE,R_127_3_SCIENTIFIC)
      & to(R_127_1_THE_FIRST_REFERENCE,R_127_6_THE_HEDGEHOG)
      & in_clr27(R_127_8_IS,R_127_10_ARISTOTLE)
      & conj2(R_127_34_AND,R_127_13_IS)
      & ~ ? [R_127_25_AND,R_127_14_PICKED_UP,R_127_18_ISIDORE,R_127_20_SEVILLE,R_127_22_THE_CENTURY,R_127_23_8TH,R_127_16_AGAIN,Z_127_A_HEDGEHOG_75,R_127_28_BUFFON,R_127_30_THE_CENTURY,R_127_31_18TH,R_127_26_AGAIN] :
            ( seville(R_127_20_SEVILLE)
            & 8th(R_127_23_8TH)
            & again(R_127_16_AGAIN)
            & 18th(R_127_31_18TH)
            & again(R_127_26_AGAIN)
            & and(R_127_25_AND)
            & conj1(R_127_25_AND,R_127_14_PICKED_UP)
            & picked_up(R_127_14_PICKED_UP,R_127_18_ISIDORE,R_127_6_THE_HEDGEHOG)
            & isidore(R_127_18_ISIDORE)
            & of(R_127_18_ISIDORE,R_127_20_SEVILLE)
            & in(R_127_18_ISIDORE,R_127_22_THE_CENTURY)
            & the_century(R_127_22_THE_CENTURY)
            & attrib67(R_127_22_THE_CENTURY,R_127_23_8TH)
            & nim46(R_127_14_PICKED_UP,R_127_16_AGAIN)
            & conj2(R_127_25_AND,Z_127_A_HEDGEHOG_75)
            & z_127_a_hedgehog_75(Z_127_A_HEDGEHOG_75,R_127_28_BUFFON,R_127_6_THE_HEDGEHOG)
            & buffon(R_127_28_BUFFON)
            & in(R_127_28_BUFFON,R_127_30_THE_CENTURY)
            & the_century(R_127_30_THE_CENTURY)
            & attrib91(R_127_30_THE_CENTURY,R_127_31_18TH)
            & nim76(Z_127_A_HEDGEHOG_75,R_127_26_AGAIN) )
      & conj3(R_127_34_AND,R_127_36_ARE)
      & are(R_127_36_ARE,R_127_35_THESE,R_127_37_REMINDERS)
      & reminders(R_127_37_REMINDERS)
      & of(R_127_37_REMINDERS,R_127_39_THE_WAYS)
      & get(R_127_44_GET,R_127_43_WE,R_127_45_HEDGEHOGS,R_127_46_WRONG)
      & in_nim122(R_127_44_GET,R_127_39_THE_WAYS) ) ).

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