 (ns-doc
  "Provides function for exploration and computing proper premises.")
 
+
 ;;; Attribute Exploration
 
 (declare default-handler)

    background-knowledge denotes a set of implications used as
    background knowledge, which will be subtracted from the computed
    result."
  [ctx :background-knowledge #{} :handler default-handler]
  (loop [implications background-knowledge,
         last         #{},
         ctx          ctx]

                                      last)
                     ctx))))))))


;;; Exploration Helper

(defn falsifies-implication?
