Before revision:  We demonstrate that our embedding is directly compatible with the symbolic, classical planning solvers by performing a "paraphrasing" task.
After revision:  We demonstrate that our embedding is directly compatible with symbolic, state of the art classical planning solvers by performing a "paraphrasing" task.