Assertion: long term latch | /r/HasProperty | free
Facets:
Source sentences:
text: As soon as the long-term latch is free, waiters post the available latch as free so that the processes can acquire the latch.