text: An << extension >> to the [[ GPSG grammatical formalism ]] is proposed , allowing non-terminals to consist of finite sequences of category labels , and allowing schematic variables to range over such sequences .