R931 - modelint/shlaer-mellor-metamodel GitHub Wiki
R931 / Generalization
Association Hop is a Circular Hop, Straight Hop or Association Class Hop
When traversing an Association, these are the fundamental patterns encountered that determine what information must be specified to land on the correct destination Class.
By categorizing traversals based on these patterns we can simplify and constrain the minimum information necessary to specify each traversal unambiguously.