Skip to content
Leon Starr edited this page Jan 31, 2025 · 1 revision

R27 / 1:1c

Lane terminates at zero or one Start of Lane

Start of Lane is termination of one Lane


Same logic as R26.

Formalization

End of Lane.(Inside division, Outside division, Road segment) ->
    Lane.(Inside division, Outside division, Road segment)
Clone this wiki locally