Assertion list
oatmeal (primary) → IsA
Results from Ascent++: 1
oatmeal → IsA → porridge 0.44