Assertion: semaphore's state | /r/HasProperty | set in given task
Facets:
Source sentences:
text: If a task has no pending signal and the given timeout is not expired yet, the given state will be set in the given task: