Assertion list
corn flake (primary) → HasProperty
Results from Ascent++: 2
corn flake → HasProperty → healthy 0.25
corn flake → HasProperty → small 0.25