. . "annotatedSource" . . . . "The property that determines the subject of an annotated axiom or annotated annotation." .