Context                Previous, Next                Top


19_a_hedgehog
Does he agree we need a strategy for all those species, including the hedgehog?

%3 r_0019_0001__Does_r_0019_0003__agree Does agree r_0019_0002__he he r_0019_0001__Does_r_0019_0003__agree->r_0019_0002__he [arg0] r_0019_0005__need need r_0019_0001__Does_r_0019_0003__agree->r_0019_0005__need [arg1] r_0019_0004__we we r_0019_0005__need->r_0019_0004__we [arg0] r_0019_0006__a_r_0019_0007__strategy a strategy r_0019_0005__need->r_0019_0006__a_r_0019_0007__strategy [arg1] r_0019_0010__those_r_0019_0011__species those species r_0019_0006__a_r_0019_0007__strategy->r_0019_0010__those_r_0019_0011__species for r_0019_0014__the_r_0019_0015__hedgehog the hedgehog r_0019_0010__those_r_0019_0011__species->r_0019_0014__the_r_0019_0015__hedgehog including r_0019_0009__all_quant all [quant] r_0019_0009__all_quant->r_0019_0006__a_r_0019_0007__strategy [scope] r_0019_0009__all_quant->r_0019_0010__those_r_0019_0011__species [restriction] 
arc(r_0019_0001__Does_r_0019_0003__agree, r_0019_0002__he, arg0).
arc(r_0019_0001__Does_r_0019_0003__agree, r_0019_0005__need, arg1).
arc(r_0019_0005__need, r_0019_0004__we, arg0).
arc(r_0019_0005__need, r_0019_0006__a_r_0019_0007__strategy, arg1).
arc(r_0019_0006__a_r_0019_0007__strategy, r_0019_0010__those_r_0019_0011__species, r_0019_0008__for).
arc(r_0019_0009__all_quant, r_0019_0006__a_r_0019_0007__strategy, scope).
arc(r_0019_0009__all_quant, r_0019_0010__those_r_0019_0011__species, restriction).
arc(r_0019_0010__those_r_0019_0011__species, r_0019_0014__the_r_0019_0015__hedgehog, r_0019_0013__including).


%3 r_0019_0010__those_r_0019_0011__species those species r_0019_0014__the_r_0019_0015__hedgehog the hedgehog r_0019_0010__those_r_0019_0011__species->r_0019_0014__the_r_0019_0015__hedgehog including r_0019_0009__all_quant all [quant] r_0019_0009__all_quant->r_0019_0010__those_r_0019_0011__species [restriction] r_0019_0001__Does_r_0019_0003__agree Does agree r_0019_0009__all_quant->r_0019_0001__Does_r_0019_0003__agree [scope] r_0019_0005__need need r_0019_0001__Does_r_0019_0003__agree->r_0019_0005__need [arg1] r_0019_0002__he he r_0019_0001__Does_r_0019_0003__agree->r_0019_0002__he [arg0] r_0019_0006__a_r_0019_0007__strategy a strategy r_0019_0006__a_r_0019_0007__strategy->r_0019_0010__those_r_0019_0011__species for r_0019_0005__need->r_0019_0006__a_r_0019_0007__strategy [arg1] r_0019_0004__we we r_0019_0005__need->r_0019_0004__we [arg0] 
fof(formula,axiom,
    ! [R_19_10_THOSE_SPECIES,R_19_14_THE_HEDGEHOG] :
      ( ( the_hedgehog(R_19_14_THE_HEDGEHOG)
        & those_species(R_19_10_THOSE_SPECIES)
        & including(R_19_10_THOSE_SPECIES,R_19_14_THE_HEDGEHOG) )
     => ? [R_19_1_DOES_AGREE,R_19_2_HE,R_19_5_NEED,R_19_4_WE,R_19_6_A_STRATEGY] :
          ( he(R_19_2_HE)
          & we(R_19_4_WE)
          & does_agree(R_19_1_DOES_AGREE,R_19_2_HE,R_19_5_NEED)
          & need(R_19_5_NEED,R_19_4_WE,R_19_6_A_STRATEGY)
          & a_strategy(R_19_6_A_STRATEGY)
          & for(R_19_6_A_STRATEGY,R_19_10_THOSE_SPECIES) ) ) ).


n19_a_hedgehog n19_a_hedgehog__1_1_1_1 Does n19_a_hedgehog__1_1_2_1_1 he n19_a_hedgehog__1_1_3_1 agree n19_a_hedgehog__1_1_4_1_1_1_1 we n19_a_hedgehog__1_1_4_1_2_1 need n19_a_hedgehog__1_1_4_1_3_1_1 a n19_a_hedgehog__1_1_4_1_3_2_1 strategy n19_a_hedgehog__1_1_4_1_3_3_1_1 for n19_a_hedgehog__1_1_4_1_3_3_2_1_1 all n19_a_hedgehog__1_1_4_1_3_3_2_2_1 those n19_a_hedgehog__1_1_4_1_3_3_2_3_1 species n19_a_hedgehog__1_1_4_1_3_3_2_4_1 , n19_a_hedgehog__1_1_4_1_3_3_2_5_1_1 including n19_a_hedgehog__1_1_4_1_3_3_2_5_2_1_1 the n19_a_hedgehog__1_1_4_1_3_3_2_5_2_2_1 hedgehog n19_a_hedgehog__1_2_1 ? n19_a_hedgehog__1 CP-QUE-MAT n19_a_hedgehog__1_1 IP-SUB n19_a_hedgehog__1->n19_a_hedgehog__1_1 n19_a_hedgehog__1_2 PUNC n19_a_hedgehog__1->n19_a_hedgehog__1_2 n19_a_hedgehog__1_1_1 DOP n19_a_hedgehog__1_1->n19_a_hedgehog__1_1_1 n19_a_hedgehog__1_1_2 NP-SBJ n19_a_hedgehog__1_1->n19_a_hedgehog__1_1_2 n19_a_hedgehog__1_1_3 VB;_Tf_ n19_a_hedgehog__1_1->n19_a_hedgehog__1_1_3 n19_a_hedgehog__1_1_4 CP-THT-OB1 n19_a_hedgehog__1_1->n19_a_hedgehog__1_1_4 n19_a_hedgehog__1_1_1->n19_a_hedgehog__1_1_1_1 n19_a_hedgehog__1_1_2_1 PRO n19_a_hedgehog__1_1_2->n19_a_hedgehog__1_1_2_1 n19_a_hedgehog__1_1_2_1->n19_a_hedgehog__1_1_2_1_1 n19_a_hedgehog__1_1_3->n19_a_hedgehog__1_1_3_1 n19_a_hedgehog__1_1_4_1 IP-SUB n19_a_hedgehog__1_1_4->n19_a_hedgehog__1_1_4_1 n19_a_hedgehog__1_1_4_1_1 NP-SBJ n19_a_hedgehog__1_1_4_1->n19_a_hedgehog__1_1_4_1_1 n19_a_hedgehog__1_1_4_1_2 VBP;_Tn_ n19_a_hedgehog__1_1_4_1->n19_a_hedgehog__1_1_4_1_2 n19_a_hedgehog__1_1_4_1_3 NP-OB1 n19_a_hedgehog__1_1_4_1->n19_a_hedgehog__1_1_4_1_3 n19_a_hedgehog__1_1_4_1_1_1 PRO n19_a_hedgehog__1_1_4_1_1->n19_a_hedgehog__1_1_4_1_1_1 n19_a_hedgehog__1_1_4_1_1_1->n19_a_hedgehog__1_1_4_1_1_1_1 n19_a_hedgehog__1_1_4_1_2->n19_a_hedgehog__1_1_4_1_2_1 n19_a_hedgehog__1_1_4_1_3_1 D n19_a_hedgehog__1_1_4_1_3->n19_a_hedgehog__1_1_4_1_3_1 n19_a_hedgehog__1_1_4_1_3_2 N n19_a_hedgehog__1_1_4_1_3->n19_a_hedgehog__1_1_4_1_3_2 n19_a_hedgehog__1_1_4_1_3_3 PP n19_a_hedgehog__1_1_4_1_3->n19_a_hedgehog__1_1_4_1_3_3 n19_a_hedgehog__1_1_4_1_3_1->n19_a_hedgehog__1_1_4_1_3_1_1 n19_a_hedgehog__1_1_4_1_3_2->n19_a_hedgehog__1_1_4_1_3_2_1 n19_a_hedgehog__1_1_4_1_3_3_1 P-ROLE n19_a_hedgehog__1_1_4_1_3_3->n19_a_hedgehog__1_1_4_1_3_3_1 n19_a_hedgehog__1_1_4_1_3_3_2 NP n19_a_hedgehog__1_1_4_1_3_3->n19_a_hedgehog__1_1_4_1_3_3_2 n19_a_hedgehog__1_1_4_1_3_3_1->n19_a_hedgehog__1_1_4_1_3_3_1_1 n19_a_hedgehog__1_1_4_1_3_3_2_1 Q;_nphd_ n19_a_hedgehog__1_1_4_1_3_3_2->n19_a_hedgehog__1_1_4_1_3_3_2_1 n19_a_hedgehog__1_1_4_1_3_3_2_2 D n19_a_hedgehog__1_1_4_1_3_3_2->n19_a_hedgehog__1_1_4_1_3_3_2_2 n19_a_hedgehog__1_1_4_1_3_3_2_3 NS n19_a_hedgehog__1_1_4_1_3_3_2->n19_a_hedgehog__1_1_4_1_3_3_2_3 n19_a_hedgehog__1_1_4_1_3_3_2_4 PUNC n19_a_hedgehog__1_1_4_1_3_3_2->n19_a_hedgehog__1_1_4_1_3_3_2_4 n19_a_hedgehog__1_1_4_1_3_3_2_5 PP n19_a_hedgehog__1_1_4_1_3_3_2->n19_a_hedgehog__1_1_4_1_3_3_2_5 n19_a_hedgehog__1_1_4_1_3_3_2_1->n19_a_hedgehog__1_1_4_1_3_3_2_1_1 n19_a_hedgehog__1_1_4_1_3_3_2_2->n19_a_hedgehog__1_1_4_1_3_3_2_2_1 n19_a_hedgehog__1_1_4_1_3_3_2_3->n19_a_hedgehog__1_1_4_1_3_3_2_3_1 n19_a_hedgehog__1_1_4_1_3_3_2_4->n19_a_hedgehog__1_1_4_1_3_3_2_4_1 n19_a_hedgehog__1_1_4_1_3_3_2_5_1 P-ROLE n19_a_hedgehog__1_1_4_1_3_3_2_5->n19_a_hedgehog__1_1_4_1_3_3_2_5_1 n19_a_hedgehog__1_1_4_1_3_3_2_5_2 NP n19_a_hedgehog__1_1_4_1_3_3_2_5->n19_a_hedgehog__1_1_4_1_3_3_2_5_2 n19_a_hedgehog__1_1_4_1_3_3_2_5_1->n19_a_hedgehog__1_1_4_1_3_3_2_5_1_1 n19_a_hedgehog__1_1_4_1_3_3_2_5_2_1 D n19_a_hedgehog__1_1_4_1_3_3_2_5_2->n19_a_hedgehog__1_1_4_1_3_3_2_5_2_1 n19_a_hedgehog__1_1_4_1_3_3_2_5_2_2 N n19_a_hedgehog__1_1_4_1_3_3_2_5_2->n19_a_hedgehog__1_1_4_1_3_3_2_5_2_2 n19_a_hedgehog__1_1_4_1_3_3_2_5_2_1->n19_a_hedgehog__1_1_4_1_3_3_2_5_2_1_1 n19_a_hedgehog__1_1_4_1_3_3_2_5_2_2->n19_a_hedgehog__1_1_4_1_3_3_2_5_2_2_1 n19_a_hedgehog__1_2->n19_a_hedgehog__1_2_1 
( (CP-QUE-MAT (IP-SUB (DOP Does;{do})
                      (NP-SBJ;{COLVILE} (PRO he;{he}))
                      (VB;_Tf_ agree;{agree})
                      (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO we;{we}))
                                          (VBP;_Tn_ need;{need})
                                          (NP-OB1 (D a;{a})
                                                  (N strategy;{strategy})
                                                  (PP (P-ROLE for;{for})
                                                      (NP (Q;_nphd_ all;{all})
                                                          (D those;{those})
                                                          (NS species;{specie})
                                                          (PUNC ,)
                                                          (PP (P-ROLE including;{including})
                                                              (NP (D the;{the})
                                                                  (N hedgehog;{hedgehog})))))))))
              (PUNC ?))
  (ID 19_a_hedgehog;speaker=Shannon))