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