   "Return the most specific concept of the interpretation of dl-exp in
   model."
   [model dl-exp]
-  (most-specific-concept model (interpret model dl-exp)))
+  (with-memoized-fns [interpret]        ;?
+    (most-specific-concept model (interpret model dl-exp))))
 
 ;;;
 

                                                   (model-interpretation model))))]
    (.write out (.trim output))))

;;; Interpretation

(defmulti compile-expression
  "Compiles an expression to a function mapping a model to the extent

  [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
