Assertion list
public road (subgroup of road ) → HasProperty
Results from Ascent++: 1
public road → HasProperty → open 0.56