この資料をSMS送信: Temporal datalog with existential quantification