chicken soup subgroup of soup, 7 assertions