Assertion: semaphore's state | /r/CapableOf | nonsignaled thread
Facets:
Source sentences:
text: This sets the semaphore's state to nonsignaled and blocks all threads from accessing the protected resource.