أرسل هذا في رسالة قصيرة: On "learning term rewriting systems from entailment"