Encoding Semantics in the DNF