what military unit is designated by a size of battalion.
(AND military.military_unit (JOIN military.military_unit.unit_size m.012gvv))