CONSTRAIN syntax