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