Σημασιολογική όρο ή περιορισμό που περιγράφει περιορισμό ή κράτους. Για παράδειγμα, ένας περιορισμός ενδέχεται να είναι περιορισμός σχετικά με ορισμένα στοιχεία της περιοχής των τιμών ή σε κάποια συμπεριφορά της εφαρμογής, ή θα μπορούσε να είναι μια περιγραφή απαιτείται κράτους του συστήματος σε ένα συγκεκριμένο σημείο στο χρόνο.