Describir: Temporal datalog with existential quantification