Assertion: interrupt's isr | /r/CapableOf | return execution
Facets:
Source sentences:
text: When the ISR returns execution, we will be continue where we left off.