Context                Previous, Next                Top


32_a_hedgehog
I understand that badgers are a natural predator of hedgehogs and that consequently they avoid sites where badgers are present.

%3 r_0032_0002__understand understand r_0032_0001__I I r_0032_0002__understand->r_0032_0001__I [arg0] r_0032_0011__and and r_0032_0002__understand->r_0032_0011__and [arg1] r_0032_0003__that_r_0032_0005__are that are r_0032_0011__and->r_0032_0003__that_r_0032_0005__are [conj1] r_0032_0012__that_r_0032_0015__avoid that avoid r_0032_0011__and->r_0032_0012__that_r_0032_0015__avoid [conj2] r_0032_0004__badgers badgers r_0032_0003__that_r_0032_0005__are->r_0032_0004__badgers [arg0] r_0032_0006__a_r_0032_0008__predator a predator r_0032_0003__that_r_0032_0005__are->r_0032_0006__a_r_0032_0008__predator [prd] r_0032_0007__natural natural r_0032_0006__a_r_0032_0008__predator->r_0032_0007__natural [attrib] r_0032_0010__hedgehogs hedgehogs r_0032_0006__a_r_0032_0008__predator->r_0032_0010__hedgehogs of r_0032_0012__that_r_0032_0015__avoid->r_0032_0010__hedgehogs [arg0] r_0032_0013__consequently consequently r_0032_0012__that_r_0032_0015__avoid->r_0032_0013__consequently [nim] r_0032_0016__sites sites r_0032_0012__that_r_0032_0015__avoid->r_0032_0016__sites [arg1] r_0032_0019__are are r_0032_0019__are->r_0032_0016__sites [nim] r_0032_0018__badgers badgers r_0032_0019__are->r_0032_0018__badgers [arg0] r_0032_0020__present present r_0032_0019__are->r_0032_0020__present [prd] 
arc(r_0032_0002__understand, r_0032_0001__I, arg0).
arc(r_0032_0002__understand, r_0032_0011__and, arg1).
arc(r_0032_0003__that_r_0032_0005__are, r_0032_0004__badgers, arg0).
arc(r_0032_0003__that_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, attrib21).
arc(r_0032_0006__a_r_0032_0008__predator, r_0032_0010__hedgehogs, r_0032_0009__of).
arc(r_0032_0011__and, r_0032_0003__that_r_0032_0005__are, conj1).
arc(r_0032_0011__and, r_0032_0012__that_r_0032_0015__avoid, conj2).
arc(r_0032_0012__that_r_0032_0015__avoid, r_0032_0010__hedgehogs, arg0).
arc(r_0032_0012__that_r_0032_0015__avoid, r_0032_0013__consequently, nim38).
arc(r_0032_0012__that_r_0032_0015__avoid, r_0032_0016__sites, arg1).
arc(r_0032_0019__are, r_0032_0016__sites, nim50).
arc(r_0032_0019__are, r_0032_0018__badgers, arg0).
arc(r_0032_0019__are, r_0032_0020__present, prd).


%3 r_0032_0019__are are r_0032_0020__present present r_0032_0019__are->r_0032_0020__present [prd] r_0032_0018__badgers badgers r_0032_0019__are->r_0032_0018__badgers [arg0] r_0032_0016__sites sites r_0032_0019__are->r_0032_0016__sites [nim] r_0032_0012__that_r_0032_0015__avoid that avoid r_0032_0012__that_r_0032_0015__avoid->r_0032_0016__sites [arg1] r_0032_0013__consequently consequently r_0032_0012__that_r_0032_0015__avoid->r_0032_0013__consequently [nim] r_0032_0010__hedgehogs hedgehogs r_0032_0012__that_r_0032_0015__avoid->r_0032_0010__hedgehogs [arg0] r_0032_0011__and and r_0032_0011__and->r_0032_0012__that_r_0032_0015__avoid [conj2] r_0032_0003__that_r_0032_0005__are that are r_0032_0011__and->r_0032_0003__that_r_0032_0005__are [conj1] r_0032_0006__a_r_0032_0008__predator a predator r_0032_0003__that_r_0032_0005__are->r_0032_0006__a_r_0032_0008__predator [prd] r_0032_0004__badgers badgers r_0032_0003__that_r_0032_0005__are->r_0032_0004__badgers [arg0] r_0032_0006__a_r_0032_0008__predator->r_0032_0010__hedgehogs of r_0032_0007__natural natural r_0032_0006__a_r_0032_0008__predator->r_0032_0007__natural [attrib] r_0032_0002__understand understand r_0032_0002__understand->r_0032_0011__and [arg1] r_0032_0001__I I r_0032_0002__understand->r_0032_0001__I [arg0] 
fof(formula,axiom,
    ? [R_32_2_UNDERSTAND,R_32_1_I,R_32_11_AND,R_32_3_THAT_ARE,R_32_4_BADGERS,R_32_6_A_PREDATOR,R_32_7_NATURAL,R_32_12_THAT_AVOID,R_32_10_HEDGEHOGS,R_32_13_CONSEQUENTLY,R_32_19_ARE,R_32_18_BADGERS,R_32_16_SITES,R_32_20_PRESENT] :
      ( i(R_32_1_I)
      & badgers(R_32_4_BADGERS)
      & natural(R_32_7_NATURAL)
      & hedgehogs(R_32_10_HEDGEHOGS)
      & consequently(R_32_13_CONSEQUENTLY)
      & badgers(R_32_18_BADGERS)
      & sites(R_32_16_SITES)
      & present(R_32_20_PRESENT)
      & understand(R_32_2_UNDERSTAND,R_32_1_I,R_32_11_AND)
      & and(R_32_11_AND)
      & conj1(R_32_11_AND,R_32_3_THAT_ARE)
      & that_are(R_32_3_THAT_ARE,R_32_4_BADGERS,R_32_6_A_PREDATOR)
      & a_predator(R_32_6_A_PREDATOR)
      & attrib21(R_32_6_A_PREDATOR,R_32_7_NATURAL)
      & of(R_32_6_A_PREDATOR,R_32_10_HEDGEHOGS)
      & conj2(R_32_11_AND,R_32_12_THAT_AVOID)
      & that_avoid(R_32_12_THAT_AVOID,R_32_10_HEDGEHOGS,R_32_16_SITES)
      & nim38(R_32_12_THAT_AVOID,R_32_13_CONSEQUENTLY)
      & are(R_32_19_ARE,R_32_18_BADGERS,R_32_20_PRESENT)
      & nim50(R_32_19_ARE,R_32_16_SITES) ) ).


n32_a_hedgehog n32_a_hedgehog__1_1_1_1 I n32_a_hedgehog__1_2_1 understand n32_a_hedgehog__1_3_1_1_1_1_1 that n32_a_hedgehog__1_3_1_1_1_2_1_1 badgers n32_a_hedgehog__1_3_1_1_1_3_1 are n32_a_hedgehog__1_3_1_1_1_4_1_1 a n32_a_hedgehog__1_3_1_1_1_4_2_1_1 natural n32_a_hedgehog__1_3_1_1_1_4_3_1 predator n32_a_hedgehog__1_3_1_1_1_4_4_1_1 of n32_a_hedgehog__1_3_1_1_1_4_4_2_1_1 hedgehogs n32_a_hedgehog__1_3_1_1_2_1_1 and n32_a_hedgehog__1_3_1_1_2_2_1_1 that n32_a_hedgehog__1_3_1_1_2_2_2_1_1 consequently n32_a_hedgehog__1_3_1_1_2_2_3_1_1 they n32_a_hedgehog__1_3_1_1_2_2_4_1 avoid n32_a_hedgehog__1_3_1_1_2_2_5_1_1 sites n32_a_hedgehog__1_3_1_1_2_2_5_2_1_1_1 where n32_a_hedgehog__1_3_1_1_2_2_5_2_2_1_1 badgers n32_a_hedgehog__1_3_1_1_2_2_5_2_3_1 are n32_a_hedgehog__1_3_1_1_2_2_5_2_4_1_1 present n32_a_hedgehog__1_4_1 . n32_a_hedgehog__1 IP-MAT n32_a_hedgehog__1_1 NP-SBJ n32_a_hedgehog__1->n32_a_hedgehog__1_1 n32_a_hedgehog__1_2 VBP;_Tf_ n32_a_hedgehog__1->n32_a_hedgehog__1_2 n32_a_hedgehog__1_3 CP-THT-OB1 n32_a_hedgehog__1->n32_a_hedgehog__1_3 n32_a_hedgehog__1_4 PUNC n32_a_hedgehog__1->n32_a_hedgehog__1_4 n32_a_hedgehog__1_1_1 PRO n32_a_hedgehog__1_1->n32_a_hedgehog__1_1_1 n32_a_hedgehog__1_1_1->n32_a_hedgehog__1_1_1_1 n32_a_hedgehog__1_2->n32_a_hedgehog__1_2_1 n32_a_hedgehog__1_3_1 IP-SUB n32_a_hedgehog__1_3->n32_a_hedgehog__1_3_1 n32_a_hedgehog__1_3_1_1 ILYR n32_a_hedgehog__1_3_1->n32_a_hedgehog__1_3_1_1 n32_a_hedgehog__1_3_1_1_1 ILYR n32_a_hedgehog__1_3_1_1->n32_a_hedgehog__1_3_1_1_1 n32_a_hedgehog__1_3_1_1_2 CONJP n32_a_hedgehog__1_3_1_1->n32_a_hedgehog__1_3_1_1_2 n32_a_hedgehog__1_3_1_1_1_1 C n32_a_hedgehog__1_3_1_1_1->n32_a_hedgehog__1_3_1_1_1_1 n32_a_hedgehog__1_3_1_1_1_2 NP-SBJ n32_a_hedgehog__1_3_1_1_1->n32_a_hedgehog__1_3_1_1_1_2 n32_a_hedgehog__1_3_1_1_1_3 BEP;_Ln_ n32_a_hedgehog__1_3_1_1_1->n32_a_hedgehog__1_3_1_1_1_3 n32_a_hedgehog__1_3_1_1_1_4 NP-PRD n32_a_hedgehog__1_3_1_1_1->n32_a_hedgehog__1_3_1_1_1_4 n32_a_hedgehog__1_3_1_1_1_1->n32_a_hedgehog__1_3_1_1_1_1_1 n32_a_hedgehog__1_3_1_1_1_2_1 NS n32_a_hedgehog__1_3_1_1_1_2->n32_a_hedgehog__1_3_1_1_1_2_1 n32_a_hedgehog__1_3_1_1_1_2_1->n32_a_hedgehog__1_3_1_1_1_2_1_1 n32_a_hedgehog__1_3_1_1_1_3->n32_a_hedgehog__1_3_1_1_1_3_1 n32_a_hedgehog__1_3_1_1_1_4_1 D n32_a_hedgehog__1_3_1_1_1_4->n32_a_hedgehog__1_3_1_1_1_4_1 n32_a_hedgehog__1_3_1_1_1_4_2 ADJP n32_a_hedgehog__1_3_1_1_1_4->n32_a_hedgehog__1_3_1_1_1_4_2 n32_a_hedgehog__1_3_1_1_1_4_3 N n32_a_hedgehog__1_3_1_1_1_4->n32_a_hedgehog__1_3_1_1_1_4_3 n32_a_hedgehog__1_3_1_1_1_4_4 PP n32_a_hedgehog__1_3_1_1_1_4->n32_a_hedgehog__1_3_1_1_1_4_4 n32_a_hedgehog__1_3_1_1_1_4_1->n32_a_hedgehog__1_3_1_1_1_4_1_1 n32_a_hedgehog__1_3_1_1_1_4_2_1 ADJ n32_a_hedgehog__1_3_1_1_1_4_2->n32_a_hedgehog__1_3_1_1_1_4_2_1 n32_a_hedgehog__1_3_1_1_1_4_2_1->n32_a_hedgehog__1_3_1_1_1_4_2_1_1 n32_a_hedgehog__1_3_1_1_1_4_3->n32_a_hedgehog__1_3_1_1_1_4_3_1 n32_a_hedgehog__1_3_1_1_1_4_4_1 P-ROLE n32_a_hedgehog__1_3_1_1_1_4_4->n32_a_hedgehog__1_3_1_1_1_4_4_1 n32_a_hedgehog__1_3_1_1_1_4_4_2 NP n32_a_hedgehog__1_3_1_1_1_4_4->n32_a_hedgehog__1_3_1_1_1_4_4_2 n32_a_hedgehog__1_3_1_1_1_4_4_1->n32_a_hedgehog__1_3_1_1_1_4_4_1_1 n32_a_hedgehog__1_3_1_1_1_4_4_2_1 NS n32_a_hedgehog__1_3_1_1_1_4_4_2->n32_a_hedgehog__1_3_1_1_1_4_4_2_1 n32_a_hedgehog__1_3_1_1_1_4_4_2_1->n32_a_hedgehog__1_3_1_1_1_4_4_2_1_1 n32_a_hedgehog__1_3_1_1_2_1 CONJ n32_a_hedgehog__1_3_1_1_2->n32_a_hedgehog__1_3_1_1_2_1 n32_a_hedgehog__1_3_1_1_2_2 ILYR n32_a_hedgehog__1_3_1_1_2->n32_a_hedgehog__1_3_1_1_2_2 n32_a_hedgehog__1_3_1_1_2_1->n32_a_hedgehog__1_3_1_1_2_1_1 n32_a_hedgehog__1_3_1_1_2_2_1 C n32_a_hedgehog__1_3_1_1_2_2->n32_a_hedgehog__1_3_1_1_2_2_1 n32_a_hedgehog__1_3_1_1_2_2_2 ADVP-NIM n32_a_hedgehog__1_3_1_1_2_2->n32_a_hedgehog__1_3_1_1_2_2_2 n32_a_hedgehog__1_3_1_1_2_2_3 NP-SBJ n32_a_hedgehog__1_3_1_1_2_2->n32_a_hedgehog__1_3_1_1_2_2_3 n32_a_hedgehog__1_3_1_1_2_2_4 VBP;_Tn_ n32_a_hedgehog__1_3_1_1_2_2->n32_a_hedgehog__1_3_1_1_2_2_4 n32_a_hedgehog__1_3_1_1_2_2_5 NP-OB1 n32_a_hedgehog__1_3_1_1_2_2->n32_a_hedgehog__1_3_1_1_2_2_5 n32_a_hedgehog__1_3_1_1_2_2_1->n32_a_hedgehog__1_3_1_1_2_2_1_1 n32_a_hedgehog__1_3_1_1_2_2_2_1 ADV n32_a_hedgehog__1_3_1_1_2_2_2->n32_a_hedgehog__1_3_1_1_2_2_2_1 n32_a_hedgehog__1_3_1_1_2_2_2_1->n32_a_hedgehog__1_3_1_1_2_2_2_1_1 n32_a_hedgehog__1_3_1_1_2_2_3_1 PRO n32_a_hedgehog__1_3_1_1_2_2_3->n32_a_hedgehog__1_3_1_1_2_2_3_1 n32_a_hedgehog__1_3_1_1_2_2_3_1->n32_a_hedgehog__1_3_1_1_2_2_3_1_1 n32_a_hedgehog__1_3_1_1_2_2_4->n32_a_hedgehog__1_3_1_1_2_2_4_1 n32_a_hedgehog__1_3_1_1_2_2_5_1 NS n32_a_hedgehog__1_3_1_1_2_2_5->n32_a_hedgehog__1_3_1_1_2_2_5_1 n32_a_hedgehog__1_3_1_1_2_2_5_2 IP-REL n32_a_hedgehog__1_3_1_1_2_2_5->n32_a_hedgehog__1_3_1_1_2_2_5_2 n32_a_hedgehog__1_3_1_1_2_2_5_1->n32_a_hedgehog__1_3_1_1_2_2_5_1_1 n32_a_hedgehog__1_3_1_1_2_2_5_2_1 ADVP-NIM n32_a_hedgehog__1_3_1_1_2_2_5_2->n32_a_hedgehog__1_3_1_1_2_2_5_2_1 n32_a_hedgehog__1_3_1_1_2_2_5_2_2 NP-SBJ n32_a_hedgehog__1_3_1_1_2_2_5_2->n32_a_hedgehog__1_3_1_1_2_2_5_2_2 n32_a_hedgehog__1_3_1_1_2_2_5_2_3 BEP;_La_ n32_a_hedgehog__1_3_1_1_2_2_5_2->n32_a_hedgehog__1_3_1_1_2_2_5_2_3 n32_a_hedgehog__1_3_1_1_2_2_5_2_4 ADJP-PRD n32_a_hedgehog__1_3_1_1_2_2_5_2->n32_a_hedgehog__1_3_1_1_2_2_5_2_4 n32_a_hedgehog__1_3_1_1_2_2_5_2_1_1 RADV n32_a_hedgehog__1_3_1_1_2_2_5_2_1->n32_a_hedgehog__1_3_1_1_2_2_5_2_1_1 n32_a_hedgehog__1_3_1_1_2_2_5_2_1_1->n32_a_hedgehog__1_3_1_1_2_2_5_2_1_1_1 n32_a_hedgehog__1_3_1_1_2_2_5_2_2_1 NS n32_a_hedgehog__1_3_1_1_2_2_5_2_2->n32_a_hedgehog__1_3_1_1_2_2_5_2_2_1 n32_a_hedgehog__1_3_1_1_2_2_5_2_2_1->n32_a_hedgehog__1_3_1_1_2_2_5_2_2_1_1 n32_a_hedgehog__1_3_1_1_2_2_5_2_3->n32_a_hedgehog__1_3_1_1_2_2_5_2_3_1 n32_a_hedgehog__1_3_1_1_2_2_5_2_4_1 ADJ n32_a_hedgehog__1_3_1_1_2_2_5_2_4->n32_a_hedgehog__1_3_1_1_2_2_5_2_4_1 n32_a_hedgehog__1_3_1_1_2_2_5_2_4_1->n32_a_hedgehog__1_3_1_1_2_2_5_2_4_1_1 n32_a_hedgehog__1_4->n32_a_hedgehog__1_4_1 
( (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))