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

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,z_0019_5007,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,z_0019_5007,restriction).
arc(z_0019_5007,r_0019_0010__those_r_0019_0011__species,nim).
arc(z_0019_5007,r_0019_0014__the_r_0019_0015__hedgehog,r_0019_0013__including).

fof(formula,axiom,
    ! [Z_0019_5007,R_0019_0010__THOSE_R_0019_0011__SPECIES,R_0019_0014__THE_R_0019_0015__HEDGEHOG] :
      ( ( r_0019_0010__those_r_0019_0011__species(R_0019_0010__THOSE_R_0019_0011__SPECIES)
        & r_0019_0014__the_r_0019_0015__hedgehog(R_0019_0014__THE_R_0019_0015__HEDGEHOG)
        & z_0019_5007(Z_0019_5007)
        & has_r_0019_0013__including(Z_0019_5007,R_0019_0014__THE_R_0019_0015__HEDGEHOG)
        & has_nim(Z_0019_5007,R_0019_0010__THOSE_R_0019_0011__SPECIES) )
     => ? [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,Z_0019_5007)
          & has_arg0(R_0019_0005__NEED,R_0019_0004__WE)
          & has_arg0(R_0019_0001__DOES_R_0019_0003__AGREE,R_0019_0002__HE) ) ) ).