Testing Method:

We must gather all examples containing elements whose attribute values convey semantic meaning. We translate these elements from MathML to OpenMath and see if the semantic meaning has been preserved. We then translate back to MathML and the translator will have recognized these OpenMath elements and reproduced the original MathML element with the correct attribute value.