We tested the feasibility of our approach on a set of problems selected from Japanese university entrance exams.
we wanted 1) to test the coverage of the semantic composition mechanism presented in §4 on real problems, and 2) to verify that there is no significant loss in the capability of the system due to the additional computational cost incurred by the separation of the semantic analysis from the mathematical reasoning.