. "annotatedTarget" . . . "The property that determines the object of an annotated axiom or annotated annotation." . . . . .