Nine soldiers and two police officers were killed in the ensuing gun battle, and two police officers were wounded, the officials said.
Eleven people were killed in the gun battle.
The text does not say if there were additional casualties.
( z1 kill :ARG1 ( z2 person :quant 11 ) :time ( z3 battle :instrument ( z4 gun ) ) )