-- Example constraints

package PackCompany
  context Department inv MaxSalary: self.employee -> forAll (e| e.salary<=self.maxSalary)
endpackage