Assertion: semaphore's counter | /r/CapableOf | decremented on this semaphore
Facets:
value: atomically
type: MANNER
Source sentences:
text: Each time a client thread calls P() on this semaphore, the counter will decremented atomically.