Assertion list
interrupt (primary) → HasPrerequisite
Results from Ascent++: 1
interrupt → HasPrerequisite → immediate attention 0.25