   [name language base-set & interpretation]
   `(def ~name (model ~language ~base-set ~@interpretation)))
 
-;;;
+;;; Most Specific Concepts
 
 (defmulti most-specific-concept
   "Computes the model based most specific concept of a set of objects

  "Return the most specific concept of the interpretation of dl-exp in
  model."
  [model dl-exp]
  (most-specific-concept model (interpret model dl-exp)))

;;;


     (fn [~model]
       ~@body)))

;;; Model Syntax

(defmacro model
  "Defines model for language on base-set: interpretation maps atomic
