Assertion: semaphore's value | /r/HasProperty | given in writer
Facets:
value: to read semaphore
type: PURPOSE
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.