Assertion: semaphore's queue | /r/HasProperty | done
Facets:
Source sentences:
text: Otherwise, the writer would need to wait for a queue of readers to be done before the last one can unlock the readtry semaphore.