soft serve ice cream subgroup of ice cream, 4 assertions