Assertion: semaphore | /r/HasProperty | * s
Facets:
Source sentences:
text: wait( semaphore * S) { S -> value--; if( S -> value<0) { add this process to S -> list; block(); } }