Knuth_Bendix_Order.Lexicographic_Extension