formatted set language defs