Assertion list
home elevator (subgroup of elevator ) → IsA

Results from Ascent++: 1
home elevatorIsA perfect choice 0.16