Assertion: interrupt's isr | /r/CapableOf | return to task
Facets:
value: directly
type: MANNER
value: at time
type: TEMPORAL
Source sentences:
text: At time t3: The ISR returns directly to a task that was unblocked from within the ISR.