Assertion: semaphore | /r/HasProperty | blocked after this sequence of operations
Facets:
value: permamently
type: MANNER
Source sentences:
text: After this sequence of operations, the semaphore is permamently blocked, and threads 2 and 3 will never continue.