R927 - modelint/shlaer-mellor-metamodel GitHub Wiki
R927 / Generalization
Hop is an Association Hop or Generalization Hop
There are only these two kinds of Relationships on a Shlaer-Mellor class model. Each has its own distinct patterns of traversal that determine what information must be specified to perform an unambiguous Hop.