Assertion: counting semaphore | /r/HasProperty | equipped with two operations
Facets:
Source sentences:
text: Counting semaphores are equipped with two operations, historically denoted as P and V (see § Operation names for alternative names).