   (is (= [:or
           [:not {:type Temperature :constraints ['(> 2 1)]}]
           [:not {:type Temperature :constraints ['(> 3 2)]}]]
-         (to-dnf
+         (com/to-dnf
           [:or
            [:not {:type Temperature :constraints ['(> 2 1)]}]
            [:not {:type Temperature :constraints ['(> 3 2)]}]])))

          [:not {:type Temperature :constraints ['(> 2 1)]}]
          [:not {:type Temperature :constraints ['(> 3 2)]}]
          [:not {:type Temperature :constraints ['(> 4 3)]}]]
         (to-dnf
          [:not
           [:and
            {:type Temperature :constraints ['(> 2 1)]}


  (let [rule-output (atom nil)
        ;; Insert a new fact and ensure it exists.
        cold-rule (dsl/parse-rule [[Temperature (< temperature 20) (= ?t temperature)]] 
                                  (insert! (->Cold ?t)) )

        cold-query (dsl/parse-query [] [[Cold (= ?c temperature)]])

        session (-> (mk-session [cold-rule cold-query]) 
                    (insert (->Temperature 10 "MCI"))
                    (fire-rules))]
    
    (is (= #{{:?c 10}}
           (set (query session cold-query))))))

