Hi JB,
Dr. Halpin has formalized all ORM constraints such that an unpopulated relational database (the empty set) is always valid. So, for example, the set comparison constraints include subset, equality, and exclusion because these are not violated by empty sets. However, other set comparison operators (proper subset, proper superset, proper overlap) are not directly available in the constraint language for this reason. Similarly, frequency constraints apply only if there is some population, so the empty set is exempted from the constraint.
The cardinality constraints need to be intepreted with the same precondition, namely that the constraint applies to the population only if the population exists at all.
I think what you're looking for here is a frequency constraint of '12' on the 'Jury' role of 'JuryMember is seated on Jury'. The verbalization for this is Each Jury in the population of "JuryMember is seated on Jury" occurs there exactly 12 times.
-Matt