Assertion: unnamed semaphore | /r/HasProperty | specified by the sem argument
Facets:
Source sentences:
text: The sem_init() function initializes the unnamed semaphore specified by the sem argument and assigns that semaphore the value specified by the value argument.