R926 - modelint/shlaer-mellor-metamodel GitHub Wiki
R926 / 1:M
Path traverses each relationship via many Hop
Hop specifies traversal of relationship in one Path
By definition, a Hop is a component of a single Path.
Also, by definition, a Path must specify the traversal of at least one Relationship.