diaSIEJER218_formal-annotation-structure diaSIEJER218_formal-annotation-structure according to ISO 24617-2 abstract syntax