           :when (>= (confidence impl context) minconf)]
       impl)))
 
-;;;
+;;
 
 (defn frequent-closed-itemsets
   "Computes for context a lazy sequence of all frequent and closed itemsets,

  (set-of (make-implication A (context-attribute-closure ctx A))
          [A (proper-premises ctx)]))

;;;

(defn stem-base-from-base
  "For a given set of implications returns its stem-base."


(defalias luxenburger-base luxenburger-basis)

;;; The End

true
