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