weighted blanket subgroup of blanket, 10 assertions