9.26.1 Существует целый ряд различных условий, которые могут быть проверены для того, чтобы выбрать соответствующий тип кодирования. К ним относятся фактическое значение и диапазон границ.
9.26.2 Также можно требовать, чтобы был удовлетворен целый ряд условий.
9.26.3 Для проверки выполнения условия используется либо одно перечислимое значение (такое как "bounded-without-negatives"), которое содержит всю проверку в спецификации одного перечислимого, или три перечислимых.
9.26.4 Если используются три, то первый определяет (путем перечисления) элемент, который проходит проверку (например, "test-upper-bound"), второй - природу проверки (например, "greater-than") и третий предоставляет целочисленное значение для проверки.