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).

fof(formula,axiom,
    ! [R_0019_0010__THOSE_R_0019_0011__SPECIES,R_0019_0014__THE_R_0019_0015__HEDGEHOG] :
      ( ( r_0019_0014__the_r_0019_0015__hedgehog(R_0019_0014__THE_R_0019_0015__HEDGEHOG)
        & r_0019_0010__those_r_0019_0011__species(R_0019_0010__THOSE_R_0019_0011__SPECIES)
        & has_r_0019_0013__including(R_0019_0010__THOSE_R_0019_0011__SPECIES,R_0019_0014__THE_R_0019_0015__HEDGEHOG) )
     => ? [R_0019_0002__HE,R_0019_0004__WE,R_0019_0006__A_R_0019_0007__STRATEGY,R_0019_0005__NEED,R_0019_0001__DOES_R_0019_0003__AGREE] :
          ( r_0019_0002__he(R_0019_0002__HE)
          & r_0019_0004__we(R_0019_0004__WE)
          & r_0019_0001__Does_r_0019_0003__agree(R_0019_0001__DOES_R_0019_0003__AGREE)
          & has_arg1(R_0019_0001__DOES_R_0019_0003__AGREE,R_0019_0005__NEED)
          & r_0019_0005__need(R_0019_0005__NEED)
          & has_arg1(R_0019_0005__NEED,R_0019_0006__A_R_0019_0007__STRATEGY)
          & r_0019_0006__a_r_0019_0007__strategy(R_0019_0006__A_R_0019_0007__STRATEGY)
          & has_r_0019_0008__for(R_0019_0006__A_R_0019_0007__STRATEGY,R_0019_0010__THOSE_R_0019_0011__SPECIES)
          & has_arg0(R_0019_0005__NEED,R_0019_0004__WE)
          & has_arg0(R_0019_0001__DOES_R_0019_0003__AGREE,R_0019_0002__HE) ) ) ).

( (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))