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...