この資料をSMS送信: Sufficient Conditions for First−Order and Datalog Rewritability in ELU