So, the sequence S can consist of generators and filters and generator is of the form p left arrow e, where p is a variable or more generally, a whole pattern, And e can be an expression, whose value is a collection. 