Symbol: has_annotation