Specifications until TuplePattern