https://123dok.net/document/yevn5p07-bounded-domain-property-expressive-fragment-order-linear-temporal.html