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