32_a_hedgehog
I understand that badgers are a natural predator of hedgehogs and that consequently they avoid sites where badgers are present.
( (IP-MAT (NP-SBJ (PRO I;{I}))
(VBP;_Tf_ understand;{understand})
(CP-THT-OB1 (IP-SUB (ILYR (ILYR (C that;{that})
(NP-SBJ;{BADGERS} (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;{HEDGEHOGS} (NS hedgehogs;{hedgehog})))))
(CONJP (CONJ and;{and})
(ILYR (C that;{that})
(ADVP-NIM (ADV consequently;{consequently}))
(NP-SBJ;{HEDGEHOGS} (PRO they;{they}))
(VBP;_Tn_ avoid;{avoid})
(NP-OB1 (NS sites;{site})
(IP-REL (ADVP-NIM (RADV where;{where}))
(NP-SBJ;{BADGERS} (NS badgers;{badger}))
(BEP;_La_ are;{be})
(ADJP-PRD (ADJ present;{present})))))))))
(PUNC .))
(ID 32_a_hedgehog;speaker=Colvile))
arc(r_0032_0002__understand,r_0032_0001__I,arg0).
arc(r_0032_0002__understand,r_0032_0011__and,arg1).
arc(r_0032_0005__are,r_0032_0004__badgers,arg0).
arc(r_0032_0005__are,r_0032_0006__a_r_0032_0008__predator,prd).
arc(r_0032_0006__a_r_0032_0008__predator,r_0032_0007__natural,attrib).
arc(r_0032_0006__a_r_0032_0008__predator,r_0032_0010__hedgehogs,r_0032_0009__of).
arc(r_0032_0011__and,r_0032_0005__are,conj1).
arc(r_0032_0011__and,r_0032_0015__avoid,conj2).
arc(r_0032_0015__avoid,r_0032_0010__hedgehogs,arg0).
arc(r_0032_0015__avoid,r_0032_0013__consequently,nim).
arc(r_0032_0015__avoid,r_0032_0016__sites,arg1).
arc(r_0032_0019__are,r_0032_0004__badgers,arg0).
arc(r_0032_0019__are,r_0032_0016__sites,nim).
arc(r_0032_0019__are,r_0032_0020__present,prd).
fof(formula,axiom,
? [R_0032_0001__I,R_0032_0004__BADGERS,R_0032_0007__NATURAL,R_0032_0010__HEDGEHOGS,R_0032_0006__A_R_0032_0008__PREDATOR,R_0032_0005__ARE,R_0032_0013__CONSEQUENTLY,R_0032_0016__SITES,R_0032_0015__AVOID,R_0032_0011__AND,R_0032_0002__UNDERSTAND,R_0032_0020__PRESENT,R_0032_0019__ARE] :
( r_0032_0001__I(R_0032_0001__I)
& r_0032_0004__badgers(R_0032_0004__BADGERS)
& r_0032_0007__natural(R_0032_0007__NATURAL)
& r_0032_0010__hedgehogs(R_0032_0010__HEDGEHOGS)
& r_0032_0013__consequently(R_0032_0013__CONSEQUENTLY)
& r_0032_0016__sites(R_0032_0016__SITES)
& r_0032_0020__present(R_0032_0020__PRESENT)
& r_0032_0019__are(R_0032_0019__ARE)
& has_prd(R_0032_0019__ARE,R_0032_0020__PRESENT)
& has_nim(R_0032_0019__ARE,R_0032_0016__SITES)
& has_arg0(R_0032_0019__ARE,R_0032_0004__BADGERS)
& r_0032_0002__understand(R_0032_0002__UNDERSTAND)
& has_arg1(R_0032_0002__UNDERSTAND,R_0032_0011__AND)
& r_0032_0011__and(R_0032_0011__AND)
& has_conj2(R_0032_0011__AND,R_0032_0015__AVOID)
& r_0032_0015__avoid(R_0032_0015__AVOID)
& has_arg1(R_0032_0015__AVOID,R_0032_0016__SITES)
& has_nim(R_0032_0015__AVOID,R_0032_0013__CONSEQUENTLY)
& has_arg0(R_0032_0015__AVOID,R_0032_0010__HEDGEHOGS)
& has_conj1(R_0032_0011__AND,R_0032_0005__ARE)
& r_0032_0005__are(R_0032_0005__ARE)
& has_prd(R_0032_0005__ARE,R_0032_0006__A_R_0032_0008__PREDATOR)
& r_0032_0006__a_r_0032_0008__predator(R_0032_0006__A_R_0032_0008__PREDATOR)
& has_r_0032_0009__of(R_0032_0006__A_R_0032_0008__PREDATOR,R_0032_0010__HEDGEHOGS)
& has_attrib(R_0032_0006__A_R_0032_0008__PREDATOR,R_0032_0007__NATURAL)
& has_arg0(R_0032_0005__ARE,R_0032_0004__BADGERS)
& has_arg0(R_0032_0002__UNDERSTAND,R_0032_0001__I) ) ).