   [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 #{}))))
 
 ;;;

(define-constructor inverse
  (let [r-I (interpret interpretation (first (arguments dl-exp)))]
    (set-of [y x] [[x y] r-I])))

;;; interpretation syntax


  [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
