https://1library.org/document/zp2w6n0y-integrating-temporal-annotations-in-a-modular-logic-language.html