Assertion: priority interrupt | /r/HasProperty | serviced
Facets:
Source sentences:
text: Once it is finished, the next highest priority interrupt is serviced, and so on.