Aim 1:

In many cases attribute values modify the semantic value of MathML expressions and must be taken into account when translating. We would like to determine if the translator detects attribute values and takes them into account when translating.