sippy cup subgroup of cup, 3 assertions