Assertion: semaphore's state | /r/HasProperty | defined
Facets:
value: well
type: DEGREE
Source sentences:
text: As is demonstrated here, care must be taken to ensure the state of the semaphore is well defined when signaling it from the host.