https://123dok.net/document/y961rxxl-annotation-models-formal-semantics-enable-creation-analysis-visualisation.html