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_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_0001__Does_r_0019_0003__agree [scope] r_0019_0009__all_quant->r_0019_0010__those_r_0019_0011__species [restriction] 
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_4 Does n19_a_hedgehog_7 he n19_a_hedgehog_9 agree n19_a_hedgehog_14 we n19_a_hedgehog_16 need n19_a_hedgehog_19 a n19_a_hedgehog_21 strategy n19_a_hedgehog_24 for n19_a_hedgehog_27 all n19_a_hedgehog_29 those n19_a_hedgehog_31 species n19_a_hedgehog_33 , n19_a_hedgehog_36 including n19_a_hedgehog_39 the n19_a_hedgehog_41 hedgehog n19_a_hedgehog_43 ? n19_a_hedgehog_1 CP-QUE-MAT n19_a_hedgehog_2 IP-SUB n19_a_hedgehog_1->n19_a_hedgehog_2 n19_a_hedgehog_42 PUNC n19_a_hedgehog_1->n19_a_hedgehog_42 n19_a_hedgehog_3 DOP n19_a_hedgehog_2->n19_a_hedgehog_3 n19_a_hedgehog_5 NP-SBJ n19_a_hedgehog_2->n19_a_hedgehog_5 n19_a_hedgehog_8 VB;_Tf_ n19_a_hedgehog_2->n19_a_hedgehog_8 n19_a_hedgehog_10 CP-THT-OB1 n19_a_hedgehog_2->n19_a_hedgehog_10 n19_a_hedgehog_3->n19_a_hedgehog_4 n19_a_hedgehog_6 PRO n19_a_hedgehog_5->n19_a_hedgehog_6 n19_a_hedgehog_6->n19_a_hedgehog_7 n19_a_hedgehog_8->n19_a_hedgehog_9 n19_a_hedgehog_11 IP-SUB n19_a_hedgehog_10->n19_a_hedgehog_11 n19_a_hedgehog_12 NP-SBJ n19_a_hedgehog_11->n19_a_hedgehog_12 n19_a_hedgehog_15 VBP;_Tn_ n19_a_hedgehog_11->n19_a_hedgehog_15 n19_a_hedgehog_17 NP-OB1 n19_a_hedgehog_11->n19_a_hedgehog_17 n19_a_hedgehog_13 PRO n19_a_hedgehog_12->n19_a_hedgehog_13 n19_a_hedgehog_13->n19_a_hedgehog_14 n19_a_hedgehog_15->n19_a_hedgehog_16 n19_a_hedgehog_18 D n19_a_hedgehog_17->n19_a_hedgehog_18 n19_a_hedgehog_20 N n19_a_hedgehog_17->n19_a_hedgehog_20 n19_a_hedgehog_22 PP n19_a_hedgehog_17->n19_a_hedgehog_22 n19_a_hedgehog_18->n19_a_hedgehog_19 n19_a_hedgehog_20->n19_a_hedgehog_21 n19_a_hedgehog_23 P-ROLE n19_a_hedgehog_22->n19_a_hedgehog_23 n19_a_hedgehog_25 NP n19_a_hedgehog_22->n19_a_hedgehog_25 n19_a_hedgehog_23->n19_a_hedgehog_24 n19_a_hedgehog_26 Q;_nphd_ n19_a_hedgehog_25->n19_a_hedgehog_26 n19_a_hedgehog_28 D n19_a_hedgehog_25->n19_a_hedgehog_28 n19_a_hedgehog_30 NS n19_a_hedgehog_25->n19_a_hedgehog_30 n19_a_hedgehog_32 PUNC n19_a_hedgehog_25->n19_a_hedgehog_32 n19_a_hedgehog_34 PP n19_a_hedgehog_25->n19_a_hedgehog_34 n19_a_hedgehog_26->n19_a_hedgehog_27 n19_a_hedgehog_28->n19_a_hedgehog_29 n19_a_hedgehog_30->n19_a_hedgehog_31 n19_a_hedgehog_32->n19_a_hedgehog_33 n19_a_hedgehog_35 P-ROLE n19_a_hedgehog_34->n19_a_hedgehog_35 n19_a_hedgehog_37 NP n19_a_hedgehog_34->n19_a_hedgehog_37 n19_a_hedgehog_35->n19_a_hedgehog_36 n19_a_hedgehog_38 D n19_a_hedgehog_37->n19_a_hedgehog_38 n19_a_hedgehog_40 N n19_a_hedgehog_37->n19_a_hedgehog_40 n19_a_hedgehog_38->n19_a_hedgehog_39 n19_a_hedgehog_40->n19_a_hedgehog_41 n19_a_hedgehog_42->n19_a_hedgehog_43 
( (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))