Assertion list
upright vacuum (subgroup of vacuum ) → CapableOf

Results from Ascent++: 1
upright vacuumCapableOf work on carpet 0.16