Assertion: binary semaphore | /r/HasProperty | taken
Facets:
value: successfully
type: MANNER
Source sentences:
text: A binary semaphore used for synchronization does not need to be ‘given’ back after it has been successfully ‘taken’ (obtained).