Assertion: binary semaphore | /r/CapableOf | allow only one thread
Facets:
value: to access the resource
type: PURPOSE
Source sentences:
text: Binary semaphore allows only one thread to access the resource at a time.