1st red banner army belongs to which armed force sub-division?
(AND military.armed_force (JOIN military.armed_force.sub_divisions m.06p30c))