Assertion: semaphore's state | /r/HasProperty | the string permits =
Facets:
value: in brackets
type: LOCATION
Source sentences:
text: The state, in brackets, includes the String "Permits =" followed by the number of permits.