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_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] 
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_4 I n32_a_hedgehog_6 understand n32_a_hedgehog_12 that n32_a_hedgehog_15 badgers n32_a_hedgehog_17 are n32_a_hedgehog_20 a n32_a_hedgehog_23 natural n32_a_hedgehog_25 predator n32_a_hedgehog_28 of n32_a_hedgehog_31 hedgehogs n32_a_hedgehog_34 and n32_a_hedgehog_37 that n32_a_hedgehog_40 consequently n32_a_hedgehog_43 they n32_a_hedgehog_45 avoid n32_a_hedgehog_48 sites n32_a_hedgehog_52 where n32_a_hedgehog_55 badgers n32_a_hedgehog_57 are n32_a_hedgehog_60 present n32_a_hedgehog_62 . n32_a_hedgehog_1 IP-MAT n32_a_hedgehog_2 NP-SBJ n32_a_hedgehog_1->n32_a_hedgehog_2 n32_a_hedgehog_5 VBP;_Tf_ n32_a_hedgehog_1->n32_a_hedgehog_5 n32_a_hedgehog_7 CP-THT-OB1 n32_a_hedgehog_1->n32_a_hedgehog_7 n32_a_hedgehog_61 PUNC n32_a_hedgehog_1->n32_a_hedgehog_61 n32_a_hedgehog_3 PRO n32_a_hedgehog_2->n32_a_hedgehog_3 n32_a_hedgehog_3->n32_a_hedgehog_4 n32_a_hedgehog_5->n32_a_hedgehog_6 n32_a_hedgehog_8 IP-SUB n32_a_hedgehog_7->n32_a_hedgehog_8 n32_a_hedgehog_9 ILYR n32_a_hedgehog_8->n32_a_hedgehog_9 n32_a_hedgehog_10 ILYR n32_a_hedgehog_9->n32_a_hedgehog_10 n32_a_hedgehog_32 CONJP n32_a_hedgehog_9->n32_a_hedgehog_32 n32_a_hedgehog_11 C n32_a_hedgehog_10->n32_a_hedgehog_11 n32_a_hedgehog_13 NP-SBJ n32_a_hedgehog_10->n32_a_hedgehog_13 n32_a_hedgehog_16 BEP;_Ln_ n32_a_hedgehog_10->n32_a_hedgehog_16 n32_a_hedgehog_18 NP-PRD n32_a_hedgehog_10->n32_a_hedgehog_18 n32_a_hedgehog_11->n32_a_hedgehog_12 n32_a_hedgehog_14 NS n32_a_hedgehog_13->n32_a_hedgehog_14 n32_a_hedgehog_14->n32_a_hedgehog_15 n32_a_hedgehog_16->n32_a_hedgehog_17 n32_a_hedgehog_19 D n32_a_hedgehog_18->n32_a_hedgehog_19 n32_a_hedgehog_21 ADJP n32_a_hedgehog_18->n32_a_hedgehog_21 n32_a_hedgehog_24 N n32_a_hedgehog_18->n32_a_hedgehog_24 n32_a_hedgehog_26 PP n32_a_hedgehog_18->n32_a_hedgehog_26 n32_a_hedgehog_19->n32_a_hedgehog_20 n32_a_hedgehog_22 ADJ n32_a_hedgehog_21->n32_a_hedgehog_22 n32_a_hedgehog_22->n32_a_hedgehog_23 n32_a_hedgehog_24->n32_a_hedgehog_25 n32_a_hedgehog_27 P-ROLE n32_a_hedgehog_26->n32_a_hedgehog_27 n32_a_hedgehog_29 NP n32_a_hedgehog_26->n32_a_hedgehog_29 n32_a_hedgehog_27->n32_a_hedgehog_28 n32_a_hedgehog_30 NS n32_a_hedgehog_29->n32_a_hedgehog_30 n32_a_hedgehog_30->n32_a_hedgehog_31 n32_a_hedgehog_33 CONJ n32_a_hedgehog_32->n32_a_hedgehog_33 n32_a_hedgehog_35 ILYR n32_a_hedgehog_32->n32_a_hedgehog_35 n32_a_hedgehog_33->n32_a_hedgehog_34 n32_a_hedgehog_36 C n32_a_hedgehog_35->n32_a_hedgehog_36 n32_a_hedgehog_38 ADVP-NIM n32_a_hedgehog_35->n32_a_hedgehog_38 n32_a_hedgehog_41 NP-SBJ n32_a_hedgehog_35->n32_a_hedgehog_41 n32_a_hedgehog_44 VBP;_Tn_ n32_a_hedgehog_35->n32_a_hedgehog_44 n32_a_hedgehog_46 NP-OB1 n32_a_hedgehog_35->n32_a_hedgehog_46 n32_a_hedgehog_36->n32_a_hedgehog_37 n32_a_hedgehog_39 ADV n32_a_hedgehog_38->n32_a_hedgehog_39 n32_a_hedgehog_39->n32_a_hedgehog_40 n32_a_hedgehog_42 PRO n32_a_hedgehog_41->n32_a_hedgehog_42 n32_a_hedgehog_42->n32_a_hedgehog_43 n32_a_hedgehog_44->n32_a_hedgehog_45 n32_a_hedgehog_47 NS n32_a_hedgehog_46->n32_a_hedgehog_47 n32_a_hedgehog_49 IP-REL n32_a_hedgehog_46->n32_a_hedgehog_49 n32_a_hedgehog_47->n32_a_hedgehog_48 n32_a_hedgehog_50 ADVP-NIM n32_a_hedgehog_49->n32_a_hedgehog_50 n32_a_hedgehog_53 NP-SBJ n32_a_hedgehog_49->n32_a_hedgehog_53 n32_a_hedgehog_56 BEP;_La_ n32_a_hedgehog_49->n32_a_hedgehog_56 n32_a_hedgehog_58 ADJP-PRD n32_a_hedgehog_49->n32_a_hedgehog_58 n32_a_hedgehog_51 RADV n32_a_hedgehog_50->n32_a_hedgehog_51 n32_a_hedgehog_51->n32_a_hedgehog_52 n32_a_hedgehog_54 NS n32_a_hedgehog_53->n32_a_hedgehog_54 n32_a_hedgehog_54->n32_a_hedgehog_55 n32_a_hedgehog_56->n32_a_hedgehog_57 n32_a_hedgehog_59 ADJ n32_a_hedgehog_58->n32_a_hedgehog_59 n32_a_hedgehog_59->n32_a_hedgehog_60 n32_a_hedgehog_61->n32_a_hedgehog_62 
( (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))