Domain Properties are descriptive properties about the statement world. Domain Properties may be either hypothesis or invariants.
Click on the Domain Properties toolbar button to open the Domain Properties dialog box, and click on the Add button to open the Domain Property dialog box.
Enter a domain property name, description, and select the type of domain property from the type combo box.
Click on the Create button to add the new domain property.
Existing domain properties can be modified by double clicking on the domain property in the Domain Properties dialog box, making the necessary changes, and clicking on the Update button.