Assertion list
ramp (aspect of interchange ) → HasProperty
Results from Ascent++: 1
ramp → HasProperty → open 0.59