/ instantiate, represent, evaluate tempST: {x+1} :tempST