Assertion list
casserole (primary) → HasA
Results from Ascent++: 3
casserole → HasA → vegetable 0.40
casserole → HasA → carrot 0.25
casserole → HasA → corn 0.25