Assertion: interrupt's priority | /r/HasProperty | serviced
Facets:
Source sentences:
text: Interrupts are prioritized; the higher the priority, the faster the interrupt will be serviced.
text: If two interrupts go off at the same time, that with the highest priority is serviced first.