grinding wheel subgroup of wheel, 6 assertions