En la parte RESTRICTIONS de una restricción, se introducen las verificaciones de consistencia que deberá efectuar la restricción. La restricción devuelve una inconsistencia si la parte de limitaciones no es verdadera.

Ejemplo:

Se puede utilizar una restricción para definir que el driver de impresora para una impresora WIN95 debe ser seleccionado si se selecciona el sistema operativo WIN95 para un PC:

También se puede introducir más de una limitación. Se introduce una coma para separar las diferentes limitaciones. Existe una relación AND entre las restricciones. No se ofrece soporte para las relaciones OR.

Ejemplo:

También se puede utilizar la declaración FALSE como limitación. Esto significa que las situaciones descritas en la parte de la condición son inconsistentes. Si se producen estas situaciones, se recibe un mensaje de inconsistencia.

Ejemplo:

Esta restricción devuelve una inconsistencia en cuanto se asigna el valor "486" al CPU y el valor "CO_procesador" a EXTRAS.

En la sección RESTRICTIONS de una restricción, también se pueden llamar tablas definidas previamente. Por este motivo, la restricción es una herramienta importante, puesto que se puede remplazar un gran número de diferentes condiciones previas utilizando una llamada de tabla en una restricción.

Se pueden utilizar tablas en las restricciones a fin de asegurar la consistencia de la valoración o para deducir valores. En el caso de las características limitables, también se puede utilizar una tabla para restringir dinámicamente los valores permitidos de la característica. Por ejemplo, puede utilizar una llamada de tabla para definir las combinaciones de valores para la caja y el disco duro de un PC. Si se refiere a una tabla en una restricción, sólo son válidas las combinaciones de valores definidos en la tabla.

En algunos casos, los valores pueden ser deducidos de la sección de limitaciones a partir de las entradas sin necesidad de utilizar la sección INFERENCES. Este es el caso de las ecuaciones en las que la parte izquierda contiene exactamente una variable para una característica. La característica no puede ser limitable.

En el primer ejemplo, se deduce automáticamente el voltaje de un circuito de la ecuación sin necesidad de registrar nada en INFERENCES. En el segundo ejemplo, se fija automáticamente el valor "486" para la CPU en la configuración.