Text this: A Faithful Semantics for Generalised Symbolic Trajectory Evaluation