tubeless tire subgroup of tire, 4 assertions