Assertion: semaphore's count | /r/HasProperty | incremented
Facets:
value: at the time
type: TEMPORAL
Source sentences:
text: When the thread no longer needs an access to the shared resource, it releases the permit, which causes the semaphore’s count to be incremented.
text: So if a process(a thread) releases the resource, at the time the count is incremented.