Assertion list
manual wheelchair (subgroup of wheelchair ) → HasProperty
Results from Ascent++: 2
manual wheelchair → HasProperty → lightweight 0.66
manual wheelchair → HasProperty → perfect 0.16