    Does not consider the entity itself as candidate."
   [?shadow ?type]
   (fresh [?element]
-    (shadow ?shadow)
-    (element-ancestor|type ?shadow ?element)
-    (element-type ?element ?type)))
+         (shadow ?shadow)
+         (element-ancestor|type ?shadow ?element)
+         (element-type ?element ?type)))
 
 (defn
   shadow-ancestor|member-or-advice

  (all
    (member ?member)
    (member|ajsynthetic? ?member false)))
  
(defn
  type-declaredinterface
  "Relation between a type and one of the interfaces it 

   or extending (for an interface)."
  [?type ?interface]
  (fresh [?interfaces]
         (type ?type)
         (equals ?interfaces (.getDeclaredInterfaces ?type))
         (contains ?interfaces ?interface)))  

(defn
  type-declaredinterface+
