Assertion list
grain (primary) → HasPrerequisite

Results from Ascent++: 1
grainHasPrerequisite less mixing 0.25