Assertion list for term "associated with the interrupt status bit".
Results from Ascent++: 1
interrupt → ReceivesAction → associated with the interrupt status bit 0.28