      (fn [~model]
        ~@body)))
 
-;;;
+;;; Model Syntax
 
 (defmacro model
   "Defines model for language on base-set: interpretation maps atomic

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

;;;


  [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
