Assertion: semaphore | /r/HasProperty | local
Facets:
value: in the previous example
type: OTHER
value: to a process
type: PURPOSE
Source sentences:
text: In the previous example, the semaphores are local to a process; they are only used by its threads.