Assertion list
oat (primary) → IsA
Results from Ascent++: 1
oat → IsA → grain 0.16