R23 - woven-planet/opensafety-mbse GitHub Wiki

R23 / 1:1

Right Road Edge bounds right side of one Road

Road is bounded on right side by one Right Road Edge

---

By definition, a Road Segment has a left and right Road Edge.

Formalization

Right Road Edge.Road segment -> Road Segment.ID