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