https://123dok.net/document/zgw0o67y-6-e-lotos-enhanced-language-of-temporal-ordering-specification.html