         vertices            (model-base-set model),
         neighbours          (fn [x]
                               (set-of [r y] [r (role-names language),
-                                             [_ y] (filter #(= (first %) x) (interpretation r))])),                                                  
+                                             [_ y] (filter #(= (first %) x) (interpretation r))])),
         vertex-labels       (fn [x]
                               (set-of P [P (concept-names language),
                                          :when (contains? (interpretation P) x)]))]

  (let [sim-sets (*simulator-set-algorithm* G-1 G-2)]
    (contains? (get sim-sets v) w)))

;;; gfp models

(defn EL-gfp-model

  [model [tbox target]]
  (let [tbox-graph (tbox->description-graph tbox),
        model-graph (model->description-graph model)]
    ((efficient-simulator-sets tbox-graph model-graph) target)))

;;;

