Assertion: semaphore's value | /r/HasProperty | applied to the undo structure
Facets:
Source sentences:
text: This ensures that, unless the process is aborted, the values applied to the undo structure are canceled to zero.