 ;;; Proper Premises
 
 (defn proper-conclusion
-  "Returns all elements which are implied in context ctx by A but are neither contained in A or
-  follow from a strict subsets of A."
+  "Returns all elements which are implied in context ctx by A but are neither
+  contained in A or follow from a strict subsets of A."
   [ctx A]
   (difference (context-attribute-closure ctx A)
               (reduce into

;;;

(defn frequent-closed-itemsets
  "Computes for context a lazy sequence of all frequent and closed itemsets, given minsupp as
  minimal support."
  [context minsupp]
  (let [mincount (* minsupp (count (objects context)))]
    (intents context

                   mincount)))))

(defn luxenburger-basis
  "Computes the luxenburger-base of a given context «context», returning the
  result as a lazy sequence.  Uses «minconf» as minimal confidence.  If
  «minsupp-or-predicate» is a number, uses that as a minimal support threshold.
  In this case, «minsupp» ∈ [0,1] must hold.  If «minsupp-or-predicate» is a
  function, uses this as a predicate to filter all candidate itemsets.  In this
  case, the predicate should be valid predicate value for «intents»."
  [context minsupp-or-predicate minconf]
  (let [pred (cond (and (number? minsupp-or-predicate)
                        (<= 0 minsupp-or-predicate 1))
