R27 - woven-planet/opensafety-mbse GitHub Wiki

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)