Assertion: initialized semaphore | /r/CapableOf | synchronize operation
Facets:
value: on the semaphore
type: TEMPORAL
Source sentences:
text: After a driver with an initialized semaphore is loaded, it can synchronize operations on the semaphore that protects a shared resource.