Declarative rules for relations between inputs?

Clojure Spec? Or Malli if you prefer?