refined grain subgroup of grain, 17 assertions