Assertion: checkmate | /r/HasProperty | rooted in happens
Facets:
value: before
type: TEMPORAL
Source sentences:
text: CheckMate is rooted in "microarchitectural happens-before