Een semantische voorwaarde of beperking die een beperking of een staat beschrijft. Bijvoorbeeld een beperking zou een beperking van enkele gegevens bereik van waarden of op sommige gedrag van de toepassing, of het zou een beschrijving van een vereiste status van het systeem op een bepaald punt in de tijd.