Nine soldiers and two police officers were killed in the ensuing gun battle, and two police officers were wounded, the officials said.
Everyone involved in the gun battle was armed.
( z1 arm :ARG1 ( z2 everyone :ARG1-of ( z3 involve :ARG2 ( z4 battle :instrument ( z5 gun ) ) ) ) )