 
 (defn
   aspect-declare
-  "Relation between an aspect and one of its aspect-specific declarations."
+  "Relation between an aspect and one of its declare declarations."
   [?aspect ?declare]
   (all
     (aspect ?aspect)


(defn
  declare
  "Relation of all aspect-specific declarations known to the weaver."
  [?declare]
  (conda [(v+ ?declare)
          (succeeds (instance? Declare ?declare))]

          (fresh [?aspect]
                 (aspect-declare ?aspect ?declare))]))
  
(defn
  declare|parents
  "Relation of all parents declare declarations."
  [?declare]
  (all
    (declare ?declare)
    (succeeds (instance? DeclareParents ?declare))))

(defn
  declare|annotation
  "Relation of all annotation declare declarations."
  [?declare]
  (all
    (declare ?declare)
    (succeeds (instance? DeclareAnnotation ?declare))))


;;TODO: should be renamed (but also its uses in the test cases) for consistency
(defn
  declareprecedence
  "Relation of all precedence declarations."
