Assertion: checkmate | /r/HasProperty | a research tool
Facets:
value: at this point
type: TEMPORAL
Source sentences:
text: At this point, CheckMate is a research tool rather than an industry-strength verification toolchain.