First go at oneOfViolation predicate.