Semantinis sąlyga ar apribojimas, aprašantis apribojimas arba valstybės. Pvz., apribojimas gali būti apribojimas dėl kai kurių duomenų diapazono vertes arba dėl kai kurių elgesys taikymo, arba ji gali būti reikalaujama valstybė tam tikroje vietoje sistemos aprašymas laiko.