R934 - modelint/shlaer-mellor-metamodel GitHub Wiki
R934 / Generalization
Generalization Hop is a To Superclass Hop or To Subclass Hop
There are only two possible traversal directions on a Generalization. From a Subclass you can traverse to the one and only Superclass and from the Superclass you must choose one of its Subclasses.