It is clear now that a translation is possible. Putting apart the difficulties described in this analysis, their are many similarities between both standards. As we have seen, expressions are constructed similarly and the application of functions is practically identical.
However, the various differences of structure can limit the power of a translator in some situations. Mainly when translating partial differentiations or applying conditions to bound variables.
The design of any translator requires a good understanding of both standards and how they represent mathematical concepts. Hopefully the information described in this document will guide the design of an OpenMath/MathML translator.