Assertion: semaphore's value | /r/CapableOf | change in counting semaphores
Facets:
Source sentences:
text: In counting semaphores, the value can change in an unrestricted domain.