upright vacuum subgroup of vacuum, 7 assertions