Constraints

Constraints are used in two ways:

Constraint definition

Constraints are valid in specific context, called the Scenario.