Assertion: interrupt's isr | /r/CapableOf | update itsto
Facets:
Source sentences:
text: The ISR will read the data from the input device and store it in the shared global variable, then update itsto full.