           (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."


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


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