Assertion: semaphore's value | /r/HasProperty | set
Facets:
Source sentences:
text: If so, the call succeeds and the value is set to 0