A property of sequences of predicate logic expressions.