Characteristic predicate AnnotationType :: AnnotationType