The Constraints subpackage of the Abstractions package specifies the basic building blocks that can be used to add additional semantic information to an element.