formal dining room subgroup of dining room, 7 assertions