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