Assertion list
robot vacuum (subgroup of vacuum ) → HasA
Results from Ascent++: 2
robot vacuum → HasA → sensor 0.76
robot vacuum → HasA → powerful suction 0.16