R220
Split Entrance Lane separates traffic into exactly one Split Lane Division Pair
Split Lane Division Pair separates traffic from exactly one Split Entrance Lane
Traffic entering the two adjacent Split Exit lanes diverges into a pair of exiting Driving Lanes.
Split Entrance Lane.(LR ID, Inside division, Road segment) ->
Split Lane Division Pair.(LR ID, Inside split lane, Road segment)
The sharing of LR ID and Road segment attributes constrains the exit pair to be part of the same Split. Additionally, the sharing of the Inside Division/inner split lane attributes constrains the inside Lane Division of the split pair to coincide with the inside Lane Division of the Split Entrance Lane.
The outer Lane Division alignment constraint should also be specified, though it cannot be easily handled by sharing referential attributes. Instead, we observe that:
Split Entrance Lane/R83/R80/R85/R10/R19/Lane.Outside division = Split Entrance Lane/R86/R82/divides outside traffic from/R81/R80/R85/R10/R19/Lane.Outside division