Assertion: semaphore's value | /r/HasProperty | set to the caller's process
Facets:
value: on successful completion
type: TEMPORAL
Source sentences:
text: On successful completion, the sempid value for each semaphore specified in the array pointed to by sops is set to the caller's process ID.