A UML (Unified Modeling Language) é uma linguagem de modelagem que pode ser empregada para a visualização, a especificação, a construção e a documentação de artefatos que façam uso de sistemas complexos de software. Object Constraint Language (OCL) é uma linguagem declarativa para descrever as regras que se aplicam aos modelos da UML. Qual sentença abaixo é verdadeira acerca da OCL?