Assertion: contract's purpose | /r/CapableOf | wait for event
Facets:
value: in another thread
type: LOCATION
Source sentences:
text: On the other hand, some synchronized methods could be marked as pure, because the purpose of synchronization here is to keep the collection internal integrity rather than to wait for an event in another thread.