Assertion: semaphore | /r/HasProperty | process
Facets:
Source sentences:
text: Shared data: Semaphore x = 0; Process 1: wait(x);