Nine soldiers and two police officers were killed in the ensuing gun battle, and two police officers were wounded, the officials said.
The police officers eventually expired do to their wounds.
( z1 die :ARG1 ( z2 person :ARG0-of ( z3 have-org-role :ARG1 ( z4 police ) :ARG2 ( z5 officer ) ) ) :time ( z6 eventual ) :ARG1-of ( z7 cause :ARG0 ( z8 wound :ARG1 z2 ) ) )