Nonetheless, words and mathematical terms are interdependent in the context of mathematical discourse.
the proposed model presents a significantly slower decline (25%), showing better scalability properties in the context of the premise selection problem.