 
 (defn
   class-pointcutdefinition
-  "Relation between an aspect and one of the pointcuts it declares."
+  "Relation between a class and one of the pointcuts it declares."
   [?class ?pointcutdefinition]
   (fresh [?pointcutdefinitions] 
          (class-pointcutdefinitions ?class ?pointcutdefinitions)


(defn
  method
  "Relation of method members known to the weaver."
  [?method]
  (fresh [?type]
         (type-method ?type ?method)))



(clojure.core/declare type-pointcutdefinition)

(defn
  annotation-key-value
  "Relation of an annotation, one of its keys (a String), and the value of this key.
   Currently only supports values of type Class (reified as elements of relation type/1) or of a primitive type (reified as Java values),
   or an array of such values.
   Other values are reified to their string representation."
  [?annotation ?name ?value]
  (fresh [?pairs ?pair ?bcelvalue ?world] ;of type org.aspectj.apache.bcel.classfile.annoation.ElementValue
