Assertion list
stick vacuum (subgroup of vacuum ) → IsA
Results from Ascent++: 1
stick vacuum → IsA → better choice 0.16