Class CardinalityRuleImpl