R24 - woven-planet/opensafety-mbse GitHub Wiki
R24 / 1:1
Left Road Edge bounds left side of one Road
Road is bounded on left side by one Left Road Edge
Similar to R23, but on the left
Formalization
Left Road Edge.Road segment -> Road Segment.ID
Left Road Edge bounds left side of one Road
Road is bounded on left side by one Left Road Edge
Similar to R23, but on the left
Left Road Edge.Road segment -> Road Segment.ID