Text this: A Formal Interactive Verification Environment for the Plan Execution Interchange Language