R62

R62 / M:Mc-1

Exit Conduit Interface is observed as a target of movement from zero, one or many Signalized Angular Intersection Entrance Lane

Signalized Angular Intersection Entrance Lane is observed to direct movement toward _ one or many_ Exit Conduit Interface

---

As the Ego Vehicle approaches a signalized intersection, it is essential to determine which directions are permitted from one or more of the Entrance Lanes interfacing with that Intersection. We assume that if an Entrance Lane is being monitored, we must have some idea, hopefully correct, of which Movements are permitted. There must be at least one for each such Entrance Lane, otherwise, we would consider the lane unmonitored. A given Exit Conduit Interface, may or may not be known to be fed since it may not receive traffic from any monitored Entrance Lanes.

Formalization

Movement.(EL inside division, EL road segment) ->
    Signalized Angular Intersection Entrance Lane.(Inside division, Road segment)
Movement.(Exit conduit road segment, Exit conduit, Intersection) ->
    Exit Conduit Interface.(Road segment, Conduit, Intersection)