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