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