Assertion: checkmate | /r/HasProperty | written as an embedding of the μspec dsl
Facets:
value: currently
type: TEMPORAL
Source sentences:
text: CheckMate is currently written as an embedding of the μspec DSL (DSL used by the priror Check tools) in the Alloy DSL.