Assertion list
lane road (subgroup of road ) → HasProperty
Results from Ascent++: 2
lane road → HasProperty → busy 0.68
lane road → HasProperty → wide 0.59