Assertion: resource semaphore | /r/HasProperty | locked by both the writer
Facets:
value: in their entry section
type: LOCATION
Source sentences:
text: The resource semaphore can be locked by both the writer and the reader in their entry section.