Assertion: semaphore's count | /r/HasProperty | nonnegative integer
Facets:
Source sentences:
text: Conceptually, a semaphore is a nonnegative integer count.
text: Conceptually, a semaphore is a nonnegative integer count.