The problem Addressed

The problem we address is that of providing a semantically meaningful mapping between an eXtended (modulo some OpenMath Content Dictionaries) MathML (XMathML) language to some result document style (this is modulo some set of meta stylesheets).
The difficulty encountered is that there is a many to many mapping between presentation and semantic meaning, this introduces ambiguities.

The problem addressed