Assertion: interrupt's isr | /r/HasProperty | done
Facets:
Source sentences:
text: Once the ISR is done, the task can resume execution.