Assertion list
steak (primary) → HasPrerequisite
Results from Ascent++: 2
steak → HasPrerequisite → more seasoning 0.29
steak → HasPrerequisite → longer cooking time 0.25