Assertion list
major road (subgroup of road ) → HasProperty
Results from Ascent++: 3
major road → HasProperty → clear 0.70
major road → HasProperty → open 0.41
major road → HasProperty → passable 0.25