Textmeddelande: Temporal datalog with existential quantification