smart tv subgroup of tv, 15 assertions