Assertion: semaphore's value | /r/CapableOf | depict the availability of a resource
Facets:
Source sentences:
text: To avoid the race condition, the semaphores are initialized with a value that depicts the availability of a resource for usage.