In NORMA, suppose I create three object types (A, B, C) and declare that:
- A is a subtype of B
- B is a subtype of C
- A is a subtype of C
In this situation, NORMA reports an error message stating that "Direct supertypes...must be overlapping without transitive implication." Why does transitive implication warrant an error message? I understand that the subtype relationship from A to C is redundant given that A is also a subtype of B, but does transitive implication cause some other semantic problem besides redundancy?