LEXREVGRADLEX TERM ORDER
Similar to gradlexgradlex term order, but using lex term order for the first group revgradlex term order for the second group.