Assertion list
hardware interrupt (subgroup of interrupt ) → CapableOf
Results from Ascent++: 1
hardware interrupt → CapableOf → occur in the middle of instruct… 0.25