Assertion list
toaster (primary) → HasPrerequisite
Results from Ascent++: 1
toaster → HasPrerequisite → reinforced steel countertop 0.28