Assertion: semaphore's count | /r/HasProperty | returned to its initial value of 1
Facets:
value: in the optimal case
type: OTHER
Source sentences:
text: In the optimal case the semaphore's count would have been returned to its initial value of 1 and no further work would be neccessary.