Assertion list
wheelchair ramp (subgroup of ramp ) → HasProperty
Results from Ascent++: 2
wheelchair ramp → HasProperty → permanent 0.41
wheelchair ramp → HasProperty → safe 0.23