Tekstiviesti: Temporal datalog with existential quantification