Assertion: semaphore's state | /r/HasProperty | initialized
Facets:
Source sentences:
text: The initial state of *mutex will be "initialized and unlocked".