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