Defined syntax for constraints