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