Assertion: semaphore's value | /r/HasProperty | osok
Facets:
Source sentences:
text: return values: osOK: the token has been obtained and the token count decremented.
text: return values: osOK: the token has been released and the count incremented.