After #3 is resolved... import all test cases from http://www.w3.org/Math/testsuite/build/mathml3tests.zip according to the format specified in #3