round dining table subgroup of dining table, 1 assertions