Assertion list
boat ramp (subgroup of ramp ) → HasProperty
Results from Ascent++: 1
boat ramp → HasProperty → open 0.84