發送短信: Sufficient Conditions for First−Order and Datalog Rewritability in ELU