Assertion: semaphore | /r/HasProperty | opened with semaphorerights
Facets:
Source sentences:
text: Modify rights and the semaphore must have been opened with SemaphoreRights.