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