Assertion: semaphore's value | /r/HasProperty | returned in the integer
Facets:
Source sentences:
text: The value is returned in the integer pointed by sval.