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