TSPC 67_a_hedgehog

67_a_hedgehog
In 2011, a further report on the state of British hedgehogs concluded that, while badgers are a natural predator of hedgehogs, where there are good foraging opportunities for worms and beetles, badgers and hedgehogs can coexist.

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (NPR 2011)))
          (PUNC ,)
          (NP-SBJ (D a;{a})
                  (ADJP (ADJ further;{far}))
                  (N report;{report})
                  (PP (P-ROLE on;{on})
                      (NP (D the;{the})
                          (N state;{state})
                          (PP (P-ROLE of;{of})
                              (NP (ADJP (ADJ British;{british}))
                                  (NS hedgehogs;{hedgehog}))))))
          (VBD;_Tf_ concluded;{conclude})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (PUNC ,)
                              (PP-SCON (P-CONN while;{while})
                                       (IP-ADV (NP-SBJ (NS badgers;{badger}))
                                               (BEP;_Ln_ are;{be})
                                               (NP-PRD (D a;{a})
                                                       (ADJP (ADJ natural;{natural}))
                                                       (N predator;{predator})
                                                       (PP (P-ROLE of;{of})
                                                           (NP (NS hedgehogs;{hedgehog}))))))
                              (PUNC ,)
                              (PP-SCON (P-CONN where;{where})
                                       (IP-ADV (EX there;{there})
                                               (BEP;_ex_V_ are;{be})
                                               (NP-ESBJ (ADJP (ADJ good;{good}))
                                                        (ADJP (ADJ foraging;{foraging})
                                                              (PP *ICH*-143))
                                                        (NS opportunities;{opportunity})
                                                        (PP-EPD-143 (P-ROLE for;{for})
                                                                    (NP (NLYR (NLYR (NS worms;{worm}))
                                                                              (CONJP (CONJ and;{and})
                                                                                     (NLYR (NS beetles;{beetle})))))))))
                              (PUNC ,)
                              (NP-SBJ (NLYR (NLYR (NS badgers;{badger}))
                                            (CONJP (CONJ and;{and})
                                                   (NLYR (NS hedgehogs;{hedgehog})))))
                              (MD;_cat_Vi_ can;{can})
                              (IP-INF-CAT (VB;_I_ coexist;{coexist}))))
          (PUNC .))
  (ID 67_a_hedgehog;speaker=Colvile))

arc(r_0067_0004__a_r_0067_0006__report,r_0067_0005__further,attrib).
arc(r_0067_0004__a_r_0067_0006__report,r_0067_0008__the_r_0067_0009__state,r_0067_0007__on).
arc(r_0067_0008__the_r_0067_0009__state,r_0067_0012__hedgehogs,r_0067_0010__of).
arc(r_0067_0012__hedgehogs,r_0067_0011__British,attrib).
arc(r_0067_0013__concluded,r_0067_0002__2011,r_0067_0001__In__nim).
arc(r_0067_0013__concluded,r_0067_0004__a_r_0067_0006__report,arg0).
arc(r_0067_0013__concluded,r_0067_0016__while,arg1).
arc(r_0067_0016__while,r_0067_0018__are,restriction).
arc(r_0067_0016__while,r_0067_0025__where,scope).
arc(r_0067_0018__are,r_0067_0017__badgers,arg0).
arc(r_0067_0018__are,r_0067_0019__a_r_0067_0021__predator,prd).
arc(r_0067_0019__a_r_0067_0021__predator,r_0067_0020__natural,attrib).
arc(r_0067_0019__a_r_0067_0021__predator,r_0067_0023__hedgehogs,r_0067_0022__of).
arc(r_0067_0025__where,r_0067_0027__are,restriction).
arc(r_0067_0025__where,r_0067_0039__can,scope).
arc(r_0067_0027__are,r_0067_0030__opportunities,arg0).
arc(r_0067_0029__foraging,r_0067_0033__and,r_0067_0031__for).
arc(r_0067_0030__opportunities,r_0067_0028__good,attrib).
arc(r_0067_0030__opportunities,r_0067_0029__foraging,attrib).
arc(r_0067_0033__and,r_0067_0032__worms,conj1).
arc(r_0067_0033__and,r_0067_0034__beetles,conj2).
arc(r_0067_0037__and,r_0067_0036__badgers,conj1).
arc(r_0067_0037__and,r_0067_0038__hedgehogs,conj2).
arc(r_0067_0039__can,r_0067_0040__coexist,scope).
arc(r_0067_0040__coexist,r_0067_0037__and,arg0).

fof(formula,axiom,
    ? [R_0067_0002__2011,R_0067_0005__FURTHER,R_0067_0011__BRITISH,R_0067_0012__HEDGEHOGS,R_0067_0008__THE_R_0067_0009__STATE,R_0067_0004__A_R_0067_0006__REPORT,R_0067_0017__BADGERS,R_0067_0020__NATURAL,R_0067_0023__HEDGEHOGS,R_0067_0019__A_R_0067_0021__PREDATOR,R_0067_0018__ARE,R_0067_0028__GOOD,R_0067_0032__WORMS,R_0067_0034__BEETLES,R_0067_0033__AND,R_0067_0029__FORAGING,R_0067_0030__OPPORTUNITIES,R_0067_0027__ARE,R_0067_0036__BADGERS,R_0067_0038__HEDGEHOGS,R_0067_0037__AND,R_0067_0039__CAN_R_0067_0040__COEXIST,R_0067_0025__WHERE,R_0067_0016__WHILE,R_0067_0013__CONCLUDED] :
      ( r_0067_0002__2011(R_0067_0002__2011)
      & r_0067_0005__further(R_0067_0005__FURTHER)
      & r_0067_0011__British(R_0067_0011__BRITISH)
      & r_0067_0017__badgers(R_0067_0017__BADGERS)
      & r_0067_0020__natural(R_0067_0020__NATURAL)
      & r_0067_0023__hedgehogs(R_0067_0023__HEDGEHOGS)
      & r_0067_0028__good(R_0067_0028__GOOD)
      & r_0067_0032__worms(R_0067_0032__WORMS)
      & r_0067_0034__beetles(R_0067_0034__BEETLES)
      & r_0067_0036__badgers(R_0067_0036__BADGERS)
      & r_0067_0038__hedgehogs(R_0067_0038__HEDGEHOGS)
      & r_0067_0013__concluded(R_0067_0013__CONCLUDED)
      & has_arg1(R_0067_0013__CONCLUDED,R_0067_0016__WHILE)
      & r_0067_0016__while(R_0067_0016__WHILE)
      & has_conj2(R_0067_0016__WHILE,R_0067_0025__WHERE)
      & r_0067_0025__where(R_0067_0025__WHERE)
      & has_conj2(R_0067_0025__WHERE,R_0067_0039__CAN_R_0067_0040__COEXIST)
      & r_0067_0039__can_r_0067_0040__coexist(R_0067_0039__CAN_R_0067_0040__COEXIST)
      & has_arg0(R_0067_0039__CAN_R_0067_0040__COEXIST,R_0067_0037__AND)
      & r_0067_0037__and(R_0067_0037__AND)
      & has_conj2(R_0067_0037__AND,R_0067_0038__HEDGEHOGS)
      & has_conj1(R_0067_0037__AND,R_0067_0036__BADGERS)
      & has_conj1(R_0067_0025__WHERE,R_0067_0027__ARE)
      & r_0067_0027__are(R_0067_0027__ARE)
      & has_arg0(R_0067_0027__ARE,R_0067_0030__OPPORTUNITIES)
      & r_0067_0030__opportunities(R_0067_0030__OPPORTUNITIES)
      & has_attrib(R_0067_0030__OPPORTUNITIES,R_0067_0029__FORAGING)
      & r_0067_0029__foraging(R_0067_0029__FORAGING)
      & has_r_0067_0031__for(R_0067_0029__FORAGING,R_0067_0033__AND)
      & r_0067_0033__and(R_0067_0033__AND)
      & has_conj2(R_0067_0033__AND,R_0067_0034__BEETLES)
      & has_conj1(R_0067_0033__AND,R_0067_0032__WORMS)
      & has_attrib(R_0067_0030__OPPORTUNITIES,R_0067_0028__GOOD)
      & has_conj1(R_0067_0016__WHILE,R_0067_0018__ARE)
      & r_0067_0018__are(R_0067_0018__ARE)
      & has_prd(R_0067_0018__ARE,R_0067_0019__A_R_0067_0021__PREDATOR)
      & r_0067_0019__a_r_0067_0021__predator(R_0067_0019__A_R_0067_0021__PREDATOR)
      & has_r_0067_0022__of(R_0067_0019__A_R_0067_0021__PREDATOR,R_0067_0023__HEDGEHOGS)
      & has_attrib(R_0067_0019__A_R_0067_0021__PREDATOR,R_0067_0020__NATURAL)
      & has_arg0(R_0067_0018__ARE,R_0067_0017__BADGERS)
      & has_arg0(R_0067_0013__CONCLUDED,R_0067_0004__A_R_0067_0006__REPORT)
      & r_0067_0004__a_r_0067_0006__report(R_0067_0004__A_R_0067_0006__REPORT)
      & has_r_0067_0007__on(R_0067_0004__A_R_0067_0006__REPORT,R_0067_0008__THE_R_0067_0009__STATE)
      & r_0067_0008__the_r_0067_0009__state(R_0067_0008__THE_R_0067_0009__STATE)
      & has_r_0067_0010__of(R_0067_0008__THE_R_0067_0009__STATE,R_0067_0012__HEDGEHOGS)
      & r_0067_0012__hedgehogs(R_0067_0012__HEDGEHOGS)
      & has_attrib(R_0067_0012__HEDGEHOGS,R_0067_0011__BRITISH)
      & has_attrib(R_0067_0004__A_R_0067_0006__REPORT,R_0067_0005__FURTHER)
      & has_r_0067_0001__In__nim(R_0067_0013__CONCLUDED,R_0067_0002__2011) ) ).