Text this: Grouping based calculus for propositional linear temporal logic