Assertion: semaphore's value | /r/CapableOf | get increased
Facets:
Source sentences:
text: S.value = S.value+1; //semaphore value will get increased when //it makes an exit from the critical section.