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