Harmonize annotation used for definition to core:definition