Assertion: semaphore's state | /r/CapableOf | remain unchanged
Facets:
Source sentences:
text: If that state remains unchanged (i.e. the thread should not proceed)