definitional constraint language