R39 - woven-planet/opensafety-mbse GitHub Wiki

R39 / 1:1c

Outside Shoulder is on the inside of one Conduit

Conduit has on inside zero or one Outside Shoulder

---

See R38 description.

Formalization

Outside Shoulder.(Conduit, Road segment) -> Conduit.(Side, Road segment)