R33 - woven-planet/opensafety-mbse GitHub Wiki
Shoulder Lane is an Inside Shoulder or Outside Shoulder
Unlike other lanes, a Shoulder Lane can exist only on the left or right side of a Conduit. So, at most, there can be only two Shoulder Lane’s per Conduit. Furthermore, the inner Shoulder Lane’s Inner division must be the Conduit’s innermost Lane Division. The outer Shoulder Lane’s outer Lane Division must be the Conduit’s outermost Lane Division.
i### Formalization
<subclass>.(Inside division, Outside division, Road segment) ->
Shoulder Lane.(Inside division, Outside division, Road segment)