Assertion: semaphore's state | /r/HasProperty | a counting semaphore
Facets:
Source sentences:
text: The sending state also includes a counting semaphore called sendWindowNotFull.