tokens: From a logical perspective , the LT and PT classes can be defined with propositional statements over relational structures representing sequences where the order relation is given as successor and precedence , respectively , as shown in Figure .