R76 - woven-planet/opensafety-mbse GitHub Wiki

R76 / 1:Mc

Median Crosswalk Access is located on one Median

Median is the location of zero, one or many Median Crosswalk Access

---

By definition, a Median Crosswalk Access is located and is physically accessible from a single Median.

The same Median might connect to multiple Crosswalks or none at all.

Formalization

Median Crosswalk Access.(Island, Road segment) -> Median.(ID, Road segment)