Assertion: semaphore's value | /r/HasProperty | given in reader
Facets:
Source sentences:
text: In writer, the value of write semaphore is given to read semaphore and in reader, the value of read is given to write on completion of the loop.