Assertion: interrupt's isr | /r/CapableOf | signal the semaphore
Facets:
value: in the example on the left
type: LOCATION
Source sentences:
text: In the example on the left, the ISR signals the semaphore and the main program waits on the semaphore.