KERML — DataType Disjointness Clarification

First Sentance of Last Paragraph
"If any of the types of a feature are data types, then all of them must be."
This is inconsistent with the Abstract Syntax that does not enforce this constraint, it enforces a weaker constraint.
Features that are types by DataType can legally be typed by Classifiers according to 8.4.4.2 semantics
8.4.4.2 Data Types Semantics states that DataType is disjoint with Class and Association,
so a more consistent statement would be that then
"If any of the types of a feature are DataTypes, then it can't also be typed by Class or Associations.