The property that determines the predicate of an annotated axiom or annotated annotation.