portable ice maker subgroup of ice maker, 2 assertions