Results:

The testing procedures defined all produce satisfying results. The translator's output can be parsed by itself validating the expressions. The MathML output is also renderable by IBM TechExplorer.

The results produced throughout these tests were mostly accurate, and when not, the translator was corrected. We recomend the user to run all the examples in examples.om and examples.mml to get a better idea of the translation efficiency.