Logical analysis
Logical analysis addresses the integrity of the relationships that you define.
Logical analysis detects, for example, undefined components, components that are not distinguishable from one another, item restrictions that do not match the properties of that item, and circular type definitions. The analyzer also checks delimiter relationships to each other and to components, undefined inherited relationships, and logic errors contained in component rules.