enumeration-required-notation: The NOTATION type, 'aa....aa' used by cc....cc 'bb....bb', must have an enumeration facet value which specifies the notation elements used by this type.

The NOTATION type (aa....aa used by cc....cc bb....bb) must have an enumeration facet value that specifies the notation elements used by this type.