Assertion list
refined grain (subgroup of grain ) → IsA
Results from Ascent++: 1
refined grain → IsA → grain 0.30