tomato soup subgroup of soup, 4 assertions