Assertion: semaphore | /r/HasAspect | a zero value
Facets:
Source sentences:
text: Any process with read permission can test whether a semaphore has a zero value.