Context                Previous, Next                Top


68_a_hedgehog
However, when there is no safe refuge, and badgers and hedgehogs compete for these scarce resources, hedgehogs may be in serious trouble.

%3 r_0068_0003__when when r_0068_0010__and and r_0068_0003__when->r_0068_0010__and [restriction] r_0068_0021__may may r_0068_0003__when->r_0068_0021__may [scope] r_0068_0006__no_quant no [quant] r_0068_0010__and->r_0068_0006__no_quant [conj1] r_0068_0014__compete compete r_0068_0010__and->r_0068_0014__compete [conj2] r_0068_0001__However However r_0068_0021__may->r_0068_0001__However [nim] r_0068_0022__be be r_0068_0021__may->r_0068_0022__be [scope] r_0068_0004__there_r_0068_0005__is there is r_0068_0008__refuge refuge r_0068_0004__there_r_0068_0005__is->r_0068_0008__refuge [arg0] r_0068_0007__safe safe r_0068_0008__refuge->r_0068_0007__safe [attrib] r_0068_0006__no_quant->r_0068_0004__there_r_0068_0005__is [scope] r_0068_0006__no_quant->r_0068_0008__refuge [restriction] r_0068_0012__and and r_0068_0014__compete->r_0068_0012__and [arg0] r_0068_0016__these_r_0068_0018__resources these resources r_0068_0014__compete->r_0068_0016__these_r_0068_0018__resources for [clr] r_0068_0011__badgers badgers r_0068_0012__and->r_0068_0011__badgers [conj1] r_0068_0013__hedgehogs hedgehogs r_0068_0012__and->r_0068_0013__hedgehogs [conj2] r_0068_0017__scarce scarce r_0068_0016__these_r_0068_0018__resources->r_0068_0017__scarce [attrib] r_0068_0020__hedgehogs hedgehogs r_0068_0022__be->r_0068_0020__hedgehogs [arg0] r_0068_0025__trouble trouble r_0068_0022__be->r_0068_0025__trouble in [clr] r_0068_0024__serious serious r_0068_0025__trouble->r_0068_0024__serious [attrib] 
arc(r_0068_0003__when, r_0068_0010__and, restriction).
arc(r_0068_0003__when, r_0068_0021__may, scope).
arc(r_0068_0004__there_r_0068_0005__is, r_0068_0008__refuge, arg0).
arc(r_0068_0006__no_quant, r_0068_0004__there_r_0068_0005__is, scope).
arc(r_0068_0006__no_quant, r_0068_0008__refuge, restriction).
arc(r_0068_0008__refuge, r_0068_0007__safe, attrib20).
arc(r_0068_0010__and, r_0068_0006__no_quant, conj1).
arc(r_0068_0010__and, r_0068_0014__compete, conj2).
arc(r_0068_0012__and, r_0068_0011__badgers, conj1).
arc(r_0068_0012__and, r_0068_0013__hedgehogs, conj2).
arc(r_0068_0014__compete, r_0068_0012__and, arg0).
arc(r_0068_0014__compete, r_0068_0016__these_r_0068_0018__resources, r_0068_0015__for_clr47).
arc(r_0068_0016__these_r_0068_0018__resources, r_0068_0017__scarce, attrib50).
arc(r_0068_0021__may, r_0068_0001__However, nim2).
arc(r_0068_0021__may, r_0068_0022__be, scope).
arc(r_0068_0022__be, r_0068_0020__hedgehogs, arg0).
arc(r_0068_0022__be, r_0068_0025__trouble, r_0068_0023__in_clr68).
arc(r_0068_0025__trouble, r_0068_0024__serious, attrib69).


%3 r_0068_0003__when when r_0068_0010__and and r_0068_0003__when->r_0068_0010__and [restriction] r_0068_0021__may_r_0068_0022__be may be r_0068_0003__when->r_0068_0021__may_r_0068_0022__be [scope] r_0068_0006__no_quant no [quant] r_0068_0010__and->r_0068_0006__no_quant [conj1] r_0068_0014__compete compete r_0068_0010__and->r_0068_0014__compete [conj2] r_0068_0001__However However r_0068_0021__may_r_0068_0022__be->r_0068_0001__However [nim] r_0068_0020__hedgehogs hedgehogs r_0068_0021__may_r_0068_0022__be->r_0068_0020__hedgehogs [arg0] r_0068_0025__trouble trouble r_0068_0021__may_r_0068_0022__be->r_0068_0025__trouble in [clr] r_0068_0004__there_r_0068_0005__is there is r_0068_0008__refuge refuge r_0068_0004__there_r_0068_0005__is->r_0068_0008__refuge [arg0] r_0068_0007__safe safe r_0068_0008__refuge->r_0068_0007__safe [attrib] r_0068_0006__no_quant->r_0068_0004__there_r_0068_0005__is [scope] r_0068_0006__no_quant->r_0068_0008__refuge [restriction] r_0068_0012__and and r_0068_0014__compete->r_0068_0012__and [arg0] r_0068_0016__these_r_0068_0018__resources these resources r_0068_0014__compete->r_0068_0016__these_r_0068_0018__resources for [clr] r_0068_0011__badgers badgers r_0068_0012__and->r_0068_0011__badgers [conj1] r_0068_0013__hedgehogs hedgehogs r_0068_0012__and->r_0068_0013__hedgehogs [conj2] r_0068_0017__scarce scarce r_0068_0016__these_r_0068_0018__resources->r_0068_0017__scarce [attrib] r_0068_0024__serious serious r_0068_0025__trouble->r_0068_0024__serious [attrib] 
fof(formula,axiom,
    ! [R_68_10_AND,R_68_14_COMPETE,R_68_12_AND,R_68_11_BADGERS,R_68_13_HEDGEHOGS,R_68_16_THESE_RESOURCES,R_68_17_SCARCE] :
      ( ( badgers(R_68_11_BADGERS)
        & hedgehogs(R_68_13_HEDGEHOGS)
        & scarce(R_68_17_SCARCE)
        & ! [R_68_8_REFUGE,R_68_7_SAFE] :
            ( ( safe(R_68_7_SAFE)
              & refuge(R_68_8_REFUGE)
              & attrib20(R_68_8_REFUGE,R_68_7_SAFE) )
           => ? [R_68_4_THERE_IS] : there_is(R_68_4_THERE_IS,R_68_8_REFUGE) )
        & conj1(CONJ1)
        & and(R_68_10_AND)
        & conj2(R_68_10_AND,R_68_14_COMPETE)
        & compete(R_68_14_COMPETE,R_68_12_AND)
        & and(R_68_12_AND)
        & conj1(R_68_12_AND,R_68_11_BADGERS)
        & conj2(R_68_12_AND,R_68_13_HEDGEHOGS)
        & for_clr47(R_68_14_COMPETE,R_68_16_THESE_RESOURCES)
        & these_resources(R_68_16_THESE_RESOURCES)
        & attrib50(R_68_16_THESE_RESOURCES,R_68_17_SCARCE) )
     => ? [R_68_21_MAY_BE,R_68_20_HEDGEHOGS,R_68_1_HOWEVER,R_68_25_TROUBLE,R_68_24_SERIOUS] :
          ( hedgehogs(R_68_20_HEDGEHOGS)
          & however(R_68_1_HOWEVER)
          & serious(R_68_24_SERIOUS)
          & may_be(R_68_21_MAY_BE,R_68_20_HEDGEHOGS)
          & nim2(R_68_21_MAY_BE,R_68_1_HOWEVER)
          & in_clr68(R_68_21_MAY_BE,R_68_25_TROUBLE)
          & trouble(R_68_25_TROUBLE)
          & attrib69(R_68_25_TROUBLE,R_68_24_SERIOUS) ) ) ).


n68_a_hedgehog n68_a_hedgehog_4 However n68_a_hedgehog_6 , n68_a_hedgehog_9 when n68_a_hedgehog_14 there n68_a_hedgehog_16 is n68_a_hedgehog_19 no n68_a_hedgehog_22 safe n68_a_hedgehog_24 refuge n68_a_hedgehog_26 , n68_a_hedgehog_29 and n68_a_hedgehog_35 badgers n68_a_hedgehog_38 and n68_a_hedgehog_41 hedgehogs n68_a_hedgehog_43 compete n68_a_hedgehog_46 for n68_a_hedgehog_49 these n68_a_hedgehog_52 scarce n68_a_hedgehog_54 resources n68_a_hedgehog_56 , n68_a_hedgehog_59 hedgehogs n68_a_hedgehog_61 may n68_a_hedgehog_64 be n68_a_hedgehog_67 in n68_a_hedgehog_71 serious n68_a_hedgehog_73 trouble n68_a_hedgehog_75 . n68_a_hedgehog_1 IP-MAT n68_a_hedgehog_2 ADVP-NIM n68_a_hedgehog_1->n68_a_hedgehog_2 n68_a_hedgehog_5 PUNC n68_a_hedgehog_1->n68_a_hedgehog_5 n68_a_hedgehog_7 PP-SCON n68_a_hedgehog_1->n68_a_hedgehog_7 n68_a_hedgehog_55 PUNC n68_a_hedgehog_1->n68_a_hedgehog_55 n68_a_hedgehog_57 NP-SBJ n68_a_hedgehog_1->n68_a_hedgehog_57 n68_a_hedgehog_60 MD;_cat_Vi_ n68_a_hedgehog_1->n68_a_hedgehog_60 n68_a_hedgehog_62 IP-INF-CAT n68_a_hedgehog_1->n68_a_hedgehog_62 n68_a_hedgehog_74 PUNC n68_a_hedgehog_1->n68_a_hedgehog_74 n68_a_hedgehog_3 ADV n68_a_hedgehog_2->n68_a_hedgehog_3 n68_a_hedgehog_3->n68_a_hedgehog_4 n68_a_hedgehog_5->n68_a_hedgehog_6 n68_a_hedgehog_8 P-CONN n68_a_hedgehog_7->n68_a_hedgehog_8 n68_a_hedgehog_10 IP-ADV n68_a_hedgehog_7->n68_a_hedgehog_10 n68_a_hedgehog_8->n68_a_hedgehog_9 n68_a_hedgehog_11 ILYR n68_a_hedgehog_10->n68_a_hedgehog_11 n68_a_hedgehog_12 ILYR n68_a_hedgehog_11->n68_a_hedgehog_12 n68_a_hedgehog_25 PUNC n68_a_hedgehog_11->n68_a_hedgehog_25 n68_a_hedgehog_27 CONJP n68_a_hedgehog_11->n68_a_hedgehog_27 n68_a_hedgehog_13 EX n68_a_hedgehog_12->n68_a_hedgehog_13 n68_a_hedgehog_15 BEP;_ex_V_ n68_a_hedgehog_12->n68_a_hedgehog_15 n68_a_hedgehog_17 NP-ESBJ n68_a_hedgehog_12->n68_a_hedgehog_17 n68_a_hedgehog_13->n68_a_hedgehog_14 n68_a_hedgehog_15->n68_a_hedgehog_16 n68_a_hedgehog_18 Q n68_a_hedgehog_17->n68_a_hedgehog_18 n68_a_hedgehog_20 ADJP n68_a_hedgehog_17->n68_a_hedgehog_20 n68_a_hedgehog_23 N n68_a_hedgehog_17->n68_a_hedgehog_23 n68_a_hedgehog_18->n68_a_hedgehog_19 n68_a_hedgehog_21 ADJ n68_a_hedgehog_20->n68_a_hedgehog_21 n68_a_hedgehog_21->n68_a_hedgehog_22 n68_a_hedgehog_23->n68_a_hedgehog_24 n68_a_hedgehog_25->n68_a_hedgehog_26 n68_a_hedgehog_28 CONJ n68_a_hedgehog_27->n68_a_hedgehog_28 n68_a_hedgehog_30 ILYR n68_a_hedgehog_27->n68_a_hedgehog_30 n68_a_hedgehog_28->n68_a_hedgehog_29 n68_a_hedgehog_31 NP-SBJ n68_a_hedgehog_30->n68_a_hedgehog_31 n68_a_hedgehog_42 VBP;_Ipr_ n68_a_hedgehog_30->n68_a_hedgehog_42 n68_a_hedgehog_44 PP-CLR n68_a_hedgehog_30->n68_a_hedgehog_44 n68_a_hedgehog_32 NLYR n68_a_hedgehog_31->n68_a_hedgehog_32 n68_a_hedgehog_33 NLYR n68_a_hedgehog_32->n68_a_hedgehog_33 n68_a_hedgehog_36 CONJP n68_a_hedgehog_32->n68_a_hedgehog_36 n68_a_hedgehog_34 NS n68_a_hedgehog_33->n68_a_hedgehog_34 n68_a_hedgehog_34->n68_a_hedgehog_35 n68_a_hedgehog_37 CONJ n68_a_hedgehog_36->n68_a_hedgehog_37 n68_a_hedgehog_39 NLYR n68_a_hedgehog_36->n68_a_hedgehog_39 n68_a_hedgehog_37->n68_a_hedgehog_38 n68_a_hedgehog_40 NS n68_a_hedgehog_39->n68_a_hedgehog_40 n68_a_hedgehog_40->n68_a_hedgehog_41 n68_a_hedgehog_42->n68_a_hedgehog_43 n68_a_hedgehog_45 P-ROLE n68_a_hedgehog_44->n68_a_hedgehog_45 n68_a_hedgehog_47 NP n68_a_hedgehog_44->n68_a_hedgehog_47 n68_a_hedgehog_45->n68_a_hedgehog_46 n68_a_hedgehog_48 D n68_a_hedgehog_47->n68_a_hedgehog_48 n68_a_hedgehog_50 ADJP n68_a_hedgehog_47->n68_a_hedgehog_50 n68_a_hedgehog_53 NS n68_a_hedgehog_47->n68_a_hedgehog_53 n68_a_hedgehog_48->n68_a_hedgehog_49 n68_a_hedgehog_51 ADJ n68_a_hedgehog_50->n68_a_hedgehog_51 n68_a_hedgehog_51->n68_a_hedgehog_52 n68_a_hedgehog_53->n68_a_hedgehog_54 n68_a_hedgehog_55->n68_a_hedgehog_56 n68_a_hedgehog_58 NS n68_a_hedgehog_57->n68_a_hedgehog_58 n68_a_hedgehog_58->n68_a_hedgehog_59 n68_a_hedgehog_60->n68_a_hedgehog_61 n68_a_hedgehog_63 BE;_Ipr_ n68_a_hedgehog_62->n68_a_hedgehog_63 n68_a_hedgehog_65 PP-CLR n68_a_hedgehog_62->n68_a_hedgehog_65 n68_a_hedgehog_63->n68_a_hedgehog_64 n68_a_hedgehog_66 P-ROLE n68_a_hedgehog_65->n68_a_hedgehog_66 n68_a_hedgehog_68 NP n68_a_hedgehog_65->n68_a_hedgehog_68 n68_a_hedgehog_66->n68_a_hedgehog_67 n68_a_hedgehog_69 ADJP n68_a_hedgehog_68->n68_a_hedgehog_69 n68_a_hedgehog_72 N n68_a_hedgehog_68->n68_a_hedgehog_72 n68_a_hedgehog_70 ADJ n68_a_hedgehog_69->n68_a_hedgehog_70 n68_a_hedgehog_70->n68_a_hedgehog_71 n68_a_hedgehog_72->n68_a_hedgehog_73 n68_a_hedgehog_74->n68_a_hedgehog_75 
( (IP-MAT (ADVP-NIM (ADV However;{however}))
          (PUNC ,)
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (ILYR (ILYR (EX there;{there})
                                       (BEP;_ex_V_ is;{be})
                                       (NP-ESBJ (Q no;{no})
                                                (ADJP (ADJ safe;{safe}))
                                                (N refuge;{refuge})))
                                 (PUNC ,)
                                 (CONJP (CONJ and;{and})
                                        (ILYR (NP-SBJ (NLYR (NLYR (NS badgers;{badger}))
                                                            (CONJP (CONJ and;{and})
                                                                   (NLYR (NS hedgehogs;{hedgehog})))))
                                              (VBP;_Ipr_ compete;{compete[for]})
                                              (PP-CLR (P-ROLE for;{for})
                                                      (NP (D these;{these})
                                                          (ADJP (ADJ scarce;{scarce}))
                                                          (NS resources;{resource}))))))))
          (PUNC ,)
          (NP-SBJ (NS hedgehogs;{hedgehog}))
          (MD;_cat_Vi_ may;{may})
          (IP-INF-CAT (BE;_Ipr_ be;{be[in]})
                      (PP-CLR (P-ROLE in;{in})
                              (NP (ADJP (ADJ serious;{serious}))
                                  (N trouble;{trouble}))))
          (PUNC .))
  (ID 68_a_hedgehog;speaker=Colvile))