TSPC 130_a_hedgehog

130_a_hedgehog
Buffon believes these things might have been food for the winter, but as we know today the hedgehog, hibernating as he does, is not a creature that needs to take food into his nest for the winter.

arc(r_0130_0002__believes, r_0130_0001__Buffon, arg0).
arc(r_0130_0002__believes, r_0130_0013__but, arg1).
arc(r_0130_0005__might, r_0130_0006__have, scope).
arc(r_0130_0006__have, r_0130_0007__been, scope).
arc(r_0130_0007__been, r_0130_0003__these_r_0130_0004__things, arg0).
arc(r_0130_0007__been, r_0130_0008__food, prd).
arc(r_0130_0008__food, r_0130_0010__the_r_0130_0011__winter, r_0130_0009__for).
arc(r_0130_0013__but, r_0130_0005__might, conj1).
arc(r_0130_0013__but, r_0130_0014__as, conj2).
arc(r_0130_0014__as, r_0130_0016__know, restriction).
arc(r_0130_0014__as, r_0130_0027__not, scope).
arc(r_0130_0016__know, r_0130_0015__we, arg0).
arc(r_0130_0016__know, r_0130_0017__today, nim50).
arc(r_0130_0021__hibernating, r_0130_0018__the_r_0130_0019__hedgehog, arg0).
arc(r_0130_0021__hibernating, r_0130_0024__does, r_0130_0022__as_nim66).
arc(r_0130_0024__does, r_0130_0018__the_r_0130_0019__hedgehog, arg0).
arc(r_0130_0026__is, r_0130_0018__the_r_0130_0019__hedgehog, arg0).
arc(r_0130_0026__is, r_0130_0028__a_r_0130_0029__creature, prd).
arc(r_0130_0027__not, r_0130_0026__is, keep_scope).
arc(r_0130_0030__that_r_0130_0031__needs, r_0130_0028__a_r_0130_0029__creature, arg0).
arc(r_0130_0030__that_r_0130_0031__needs, r_0130_0032__to_r_0130_0033__take, arg1).
arc(r_0130_0032__to_r_0130_0033__take, r_0130_0028__a_r_0130_0029__creature, arg0).
arc(r_0130_0032__to_r_0130_0033__take, r_0130_0034__food, arg1).
arc(r_0130_0032__to_r_0130_0033__take, r_0130_0037__nest, r_0130_0035__into_clr101).
arc(r_0130_0032__to_r_0130_0033__take, r_0130_0039__the_r_0130_0040__winter, r_0130_0038__for_nim110).
arc(r_0130_0037__nest, r_0130_0018__the_r_0130_0019__hedgehog, gen).

fof(formula,axiom,
    ? [R_0130_0001__BUFFON,R_0130_0003__THESE_R_0130_0004__THINGS,R_0130_0010__THE_R_0130_0011__WINTER,R_0130_0008__FOOD,R_0130_0005__MIGHT_R_0130_0006__HAVE_R_0130_0007__BEEN,R_0130_0015__WE,R_0130_0017__TODAY,R_0130_0016__KNOW,R_0130_0014__AS,R_0130_0013__BUT,R_0130_0002__BELIEVES,R_0130_0018__THE_R_0130_0019__HEDGEHOG,R_0130_0024__DOES,R_0130_0021__HIBERNATING,R_0130_0028__A_R_0130_0029__CREATURE,R_0130_0034__FOOD,R_0130_0037__NEST,R_0130_0039__THE_R_0130_0040__WINTER,R_0130_0032__TO_R_0130_0033__TAKE,R_0130_0030__THAT_R_0130_0031__NEEDS] :
      ( r_0130_0001__Buffon(R_0130_0001__BUFFON)
      & r_0130_0003__these_r_0130_0004__things(R_0130_0003__THESE_R_0130_0004__THINGS)
      & r_0130_0010__the_r_0130_0011__winter(R_0130_0010__THE_R_0130_0011__WINTER)
      & r_0130_0015__we(R_0130_0015__WE)
      & r_0130_0017__today(R_0130_0017__TODAY)
      & r_0130_0018__the_r_0130_0019__hedgehog(R_0130_0018__THE_R_0130_0019__HEDGEHOG)
      & r_0130_0028__a_r_0130_0029__creature(R_0130_0028__A_R_0130_0029__CREATURE)
      & r_0130_0034__food(R_0130_0034__FOOD)
      & r_0130_0039__the_r_0130_0040__winter(R_0130_0039__THE_R_0130_0040__WINTER)
      & r_0130_0030__that_r_0130_0031__needs(R_0130_0030__THAT_R_0130_0031__NEEDS)
      & has_arg1(R_0130_0030__THAT_R_0130_0031__NEEDS,R_0130_0032__TO_R_0130_0033__TAKE)
      & r_0130_0032__to_r_0130_0033__take(R_0130_0032__TO_R_0130_0033__TAKE)
      & has_r_0130_0038__for_nim110(R_0130_0032__TO_R_0130_0033__TAKE,R_0130_0039__THE_R_0130_0040__WINTER)
      & has_r_0130_0035__into_clr101(R_0130_0032__TO_R_0130_0033__TAKE,R_0130_0037__NEST)
      & r_0130_0037__nest(R_0130_0037__NEST)
      & has_gen(R_0130_0037__NEST,R_0130_0018__THE_R_0130_0019__HEDGEHOG)
      & has_arg1(R_0130_0032__TO_R_0130_0033__TAKE,R_0130_0034__FOOD)
      & has_arg0(R_0130_0032__TO_R_0130_0033__TAKE,R_0130_0028__A_R_0130_0029__CREATURE)
      & has_arg0(R_0130_0030__THAT_R_0130_0031__NEEDS,R_0130_0028__A_R_0130_0029__CREATURE)
      & r_0130_0021__hibernating(R_0130_0021__HIBERNATING)
      & has_r_0130_0022__as_nim66(R_0130_0021__HIBERNATING,R_0130_0024__DOES)
      & r_0130_0024__does(R_0130_0024__DOES)
      & has_arg0(R_0130_0024__DOES,R_0130_0018__THE_R_0130_0019__HEDGEHOG)
      & has_arg0(R_0130_0021__HIBERNATING,R_0130_0018__THE_R_0130_0019__HEDGEHOG)
      & r_0130_0002__believes(R_0130_0002__BELIEVES)
      & has_arg1(R_0130_0002__BELIEVES,R_0130_0013__BUT)
      & r_0130_0013__but(R_0130_0013__BUT)
      & has_conj2(R_0130_0013__BUT,R_0130_0014__AS)
      & r_0130_0014__as(R_0130_0014__AS)
      & has_conj2(R_0130_0014__AS,R_0130_0027__NOT)
      & ~ ? [R_0130_0026__IS] :
            ( r_0130_0026__is(R_0130_0026__IS)
            & has_prd(R_0130_0026__IS,R_0130_0028__A_R_0130_0029__CREATURE)
            & has_arg0(R_0130_0026__IS,R_0130_0018__THE_R_0130_0019__HEDGEHOG) )
      & has_conj1(R_0130_0014__AS,R_0130_0016__KNOW)
      & r_0130_0016__know(R_0130_0016__KNOW)
      & has_nim50(R_0130_0016__KNOW,R_0130_0017__TODAY)
      & has_arg0(R_0130_0016__KNOW,R_0130_0015__WE)
      & has_conj1(R_0130_0013__BUT,R_0130_0005__MIGHT_R_0130_0006__HAVE_R_0130_0007__BEEN)
      & r_0130_0005__might_r_0130_0006__have_r_0130_0007__been(R_0130_0005__MIGHT_R_0130_0006__HAVE_R_0130_0007__BEEN)
      & has_prd(R_0130_0005__MIGHT_R_0130_0006__HAVE_R_0130_0007__BEEN,R_0130_0008__FOOD)
      & r_0130_0008__food(R_0130_0008__FOOD)
      & has_r_0130_0009__for(R_0130_0008__FOOD,R_0130_0010__THE_R_0130_0011__WINTER)
      & has_arg0(R_0130_0005__MIGHT_R_0130_0006__HAVE_R_0130_0007__BEEN,R_0130_0003__THESE_R_0130_0004__THINGS)
      & has_arg0(R_0130_0002__BELIEVES,R_0130_0001__BUFFON) ) ).

( (IP-MAT (NP-SBJ (NPR Buffon;{Buffon}))
          (VBP;_Tf_ believes;{believe})
          (CP-THT-OB1 (IP-SUB (ILYR (ILYR (NP-SBJ (D these;{these})
                                                  (NS things;{thing}))
                                          (MD;_cat_Vi_ might;{may})
                                          (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                                      (IP-PPL-CAT (BEN;_Ln_ been;{be})
                                                                  (NP-PRD (N food;{food})
                                                                          (PP (P-ROLE for;{for})
                                                                              (NP (D the;{the})
                                                                                  (N winter;{winter})))))))
                                    (PUNC ,)
                                    (CONJP (CONJ but;{but})
                                           (ILYR (PP-SCON (P-CONN as;{as})
                                                          (IP-ADV (NP-SBJ (PRO we;{we}))
                                                                  (VBP;_I_ know;{know})
                                                                  (NP-NIM (N today;{today}))))
                                                 (NP-SBJ;{HEDGEHOG} (D the;{the})
                                                                    (N hedgehog;{hedgehog})
                                                                    (PUNC ,)
                                                                    (IP-PPL (VAG;_I_ hibernating;{hibernate})
                                                                            (PP-NIM (P-ROLE as;{as})
                                                                                    (IP-ADV (NP-SBJ;{HEDGEHOG} (PRO he;{he}))
                                                                                            (DOP;_I_ does;{do})))))
                                                 (PUNC ,)
                                                 (BEP;_Ln_ is;{be})
                                                 (NEG not;{not})
                                                 (NP-PRD (D a;{a})
                                                         (N creature;{creature})
                                                         (IP-REL (C that;{that})
                                                                 (NP-SBJ *T*)
                                                                 (VBP;_Tt_ needs;{need})
                                                                 (IP-INF-OB1 (TO to;{to})
                                                                             (VB;_Tn.pr_ take;{take[into]})
                                                                             (NP-OB1 (N food;{food}))
                                                                             (PP-CLR (P-ROLE into;{into})
                                                                                     (NP (NP-GEN;{HEDGEHOG} (PRO;_genm_ his;{his}))
                                                                                         (N nest;{nest})))
                                                                             (PP-NIM (P-ROLE for;{for})
                                                                                     (NP (D the;{the})
                                                                                         (N winter;{winter})))))))))))
          (PUNC .))
  (ID 130_a_hedgehog;speaker=Stewart))