set-based constraints on multi-valued attrs