R38 - woven-planet/opensafety-mbse GitHub Wiki

R38 / 1:1c

Inside Shoulder is on the inside of one Conduit

Conduit has on inside zero or one Inside Shoulder

---

For each side of a Conduit (inside and outside) there may or may not be a Shoulder.

Formalization

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