round coffee table subgroup of coffee table, 2 assertions