Characteristic predicate AnnotationType :: AnnotationType
AnnotationType
(
)