R26

R26 / 1:1c

Lane begins at zero or one Start of Lane

Start of Lane is beginning of one Lane

---

If a Start of Lane is observed, it must, by definition, be the start of some Lane.

As the Ego Vehicle travels alongside a Lane, it may or may not be able to detect the Start of the Lane as it could be several kilometers behind.

Formalization

Start of Lane.(Inside division, Outside division, Road segment) ->
    Lane.(Inside division, Outside division, Road segment)