Nine soldiers and two police officers were killed in the ensuing gun battle, and two police officers were wounded, the officials said.
Four police officers in total were casualties 
( z1 casualty :domain ( z2 person :quant 4 :ARG0-of ( z3 have-org-role :ARG1 ( z4 police ) :ARG2 ( z5 officer ) ) :ARG2-of ( z6 total ) ) )