I would like to investigate and discuss concept of disjoint types. My current suggestion is to define association 'MutuallyDisjointTypes' with any number of roles with type 'Type'. I also would like to suggest a special metatype 'BaseType'. All instances of this metatype are mutually disjoint with all the other instances. Dmitry