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