The current spec defines an "entity annotation" as a type of axiom, but other annotations are not 
axioms. Because all axioms can be annotated, this means that it is possible to annotate an entity 
annotation.

This approach complicates the conceptual model of annotations. Either all annotations should be 
axioms, or none should. Meta-annotations should be introduced piecemeal merely based mainly on 
what is easy to encode using the functional syntax.