In automatic solution for mathematical problem by machines, problem understanding is an indispensable prerequisite to answer correctly. In the current methods, problem understanding refers to obtaining equivalent representations of the problems, such as linear equations, polynomials, and so on. However, in the solution process, the problem equivalent representation does not guarantee semantic interoperability with the problem, and it is not easy to generate a human-like solution by backtracking the solution process. Therefore, creating a clear ...