Assertion: semaphore's value | /r/AtLocation | the process
Facets:
Source sentences:
text: Another scenario is a dirty read where the value is in the process of being updated and another thread reads an old value.