Assertion: interrupt's isr | /r/CapableOf | run to completion
Facets:
value: isr z. once
type: TEMPORAL
Source sentences:
text: ISR z. Once ISR z runs to completion (indicated by end of interrupt, EOI), the control is relinquished back to ISR y, which resumes from the interrupted point and runs to completion, the control is then relinquished back to ISR x, and so on.