https://1library.org/document/y808912q-propositional-and-relational-approaches-spatio-temporal-data-analysis.html