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



  (let [really-cold-or-cold-and-windy 
        (mk-query [] [(or (Temperature (< temperature 0) (== ?t temperature))
                          (and (Temperature (< temperature 20) (== ?t temperature))
                               (WindSpeed (> windspeed 30) (== ?w windspeed))))])

        rulebase (mk-rulebase really-cold-or-cold-and-windy) 

        cold-session (-> (mk-session rulebase)
                         (insert (->Temperature -10 "MCI")))

           (set (query session "cold-query" :?l "MCI"))))

    (is (= #{{:?l "ORD" :?t 10}}
           (set (query session "cold-query" :?l "ORD"))))))
