Text this: Rewriting Logic Semantics of a Plan Execution Language