hard cider subgroup of cider, 5 assertions