Assertion: interrupt's isr | /r/CapableOf | complete higher priority
Facets:
Source sentences:
text: The lower priority interrupt will finish after the higher priority ISR completes.