   [tbox interpretation]
   (extend-interpretation
    interpretation
-   (fixed-point (fn [i] (next-tbox-interpretation interpretation tbox i))
+   (fixed-point (fn [i]
+                  (next-tbox-interpretation interpretation tbox i))
                 (constant-tbox-interpretation tbox #{}))))
 
 ;;;

  [name language base-set & interpretations]
  `(def ~name (interpretation ~language ~base-set ~@interpretations)))

;;; Most Specific Concepts

(defmulti most-specific-concept
  "Computes the model based most specific concept of a set of objects

                                                  (interpretation-language interpretation)
                                                  (interpretation-base-set interpretation)
                                                  (interpretation-function interpretation))))]
    (.write ^java.io.Writer out (.trim output))))

;;; Interpretations

