Assertion: destroy latch | /r/HasProperty | dt
Facets:
Source sentences:
text: A Shared latch (SH) is compatible with an update (UP) or keep (KP) latch, but incompatible with a destroy latch (DT).