                 (recur (.getParent parent)))))]
          (ancestortypedeclaration (.getParent element))))
     
-(defn
+(defn-
   element-enclosingtypedeclaration-element
   "Relation between a ProgramElement and its enclosing aspect (if any)."
   [?element ?typedeclaration]



;; ProgramElement hierarchy
;; (but prefer not to use these) 
;; -----------------------------
    
(defn
  root
  "Relation of ProgramElement hierarchy roots."
  [?element]

    (equals ?parent (.getParent ?element))))


(defn-
  element-kind
  "Relation between a ProgramElement ?element and its kind ?kind."
  [?element ?kind]
