Characteristic predicate IdAnnotation :: IdAnnotation