Symbol: selection_has_partition