Terseness - you can describe exactly what you want without repetition at arbitrary cross-sections Intuitive behavior - unification by design is unordered (ie.

Terseness - you can describe exactly what you want without repetition at arbitrary cross-sections Intuitive behavior - unification by design is unordered (ie. it doesn't matter in which order input is processed, it'll produce the same result), you get what you see. Verification - ie. you can do one-liner policies easily to have some structure with desired types/values etc. It's just well designed (based on good theory), practical language for configuration. We use it in critical project to describe services on different envs, it works very well.