Assertion list
stair lift (subgroup of lift ) → IsA
Results from Ascent++: 2
stair lift → IsA → chair 0.41
stair lift → IsA → the best solution 0.23