https://123dok.net/document/nzwp157q-temporal-logic-in-natural-language-processing.html