Nine soldiers and two police officers were killed in the ensuing gun battle, and two police officers were wounded, the officials said.
officials were mentioned in this
( z1 mention :ARG1 ( z2 person :ARG0-of ( z3 have-org-role :ARG2 ( z4 official ) ) ) :location ( z5 this ) )