 
 (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)

  (all
    (declare ?declare)
    (succeeds (instance? DeclarePrecedence ?declare))))


(defn


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