The property that determines the cardinality of an exact cardinality restriction.