Assertion list
refined grain (subgroup of grain ) → HasA

Results from Ascent++: 1
refined grainHasA the bran 0.61