Assertion list
electric wheelchair (subgroup of wheelchair ) → HasProperty
Results from Ascent++: 1
electric wheelchair → HasProperty → lightweight 0.19