https://123dok.net/document/zwv9p290-visual-reasoning-generalized-interval-values-interval-temporal-logic.html