dog bed subgroup of bed, 6 assertions