Assertion: semaphore | /r/HasProperty | opened with right
Facets:
Source sentences:
text: After the permissions are changed, the semaphore is opened with the rights required to enter and release it.
text: After the permissions are changed, the semaphore is opened with the rights required to enter and release.