electric blanket subgroup of blanket, 7 assertions