                                          att-map
                                          attributes))))),
         
-	new-model (make-interpretation language (union old-objects new-objects) new-att-map)]
+        new-model (make-interpretation language (union old-objects new-objects) new-att-map)]
+
     (if (holds-in-interpretation? new-model subsumption)
       (do
-	(println (str "New model does not contradict subsumption " (print-str subsumption) ", restarting."))
-	(recur model subsumption))
+        (println (str "New model does not contradict subsumption " (print-str subsumption) ", restarting."))
+        (recur model subsumption))
       new-model)))
 
 ;;;


(ns conexp.contrib.dl.languages.interaction
  (:use conexp.main
	conexp.contrib.dl.framework.syntax
	conexp.contrib.dl.framework.semantics))

;;;


  rebound."
  [subsumption]
  (let [answer (ask (str "Do you accept the subsumption \n\n"
                         (print-str subsumption)
                         " ?\n\n")
                    read
                    '#{yes no}
                    "Please enter yes or no.\n")]
    (if (= answer 'yes)
      false
      true)))
