Assertion: semaphore's value | /r/HasProperty | updated in the memory
Facets:
Source sentences:
text: Lastly, this value will be updated in the memory.