Assertion: production semaphore | /r/HasProperty | signaled by the production thread
Facets:
Source sentences:
text: The production semaphore is signaled by the production thread, so the consumption thread waiting on the production semaphore is scheduled.