Characteristic predicate AfterAnnotation :: AfterAnnotation
AfterAnnotation
(
)