Assertion list
hardware (primary) → HasPrerequisite
Results from Ascent++: 1
hardware → HasPrerequisite → a lot of switch inputs 0.25