Семантичен условие или ограничение, което описва ограничение или състояние. За пример, ограничение може да е ограничение на някои данни диапазон от стойности или на някои поведение на заявлението, или може да бъде описание на необходимите състояние на системата в определена точка във времето.