what military unit size is commanded by the rank of colonels?
(AND military.military_unit_size (JOIN military.military_unit_size.commanded_by_rank m.01c83m))