ExamplesHow-toHow-to: Declarative logicVersion: 4.xOn this pageHow-to: Declarative logicHow to read these sections Constraints: Defining constraints in the system. Inheritance and aggregation: Mechanisms for creating new objects based on the existing ones and inheriting their classes.