https://123dok.net/document/dy4xlwkz-lexical-syntactic-semantic-properties-interactive-systems-checking-description.html