Annotation element is now inside a semantics element