Created a prolog-based reasoner to deal with elementary problems in arithmetic, implementing partition by subclasses and decomposition.
Created GF grammars to express some word problems in English and Prolog
Started integration with UZH AceWiki/gfservice.
We are running out of time to fully develop the prototype. The promised system would work in two modes: Author mode for entering a problem and Student mode for attempting to solve it. The first mode is more or less working but the last will take a lot of time. The scheduled Deliverable D6.3, Assistant for solving word problems, due by 1 September 2012 has been postponed to 1 December 2012. Some resources of UPC originally planned in WP8 have been moved to this workpackage in order to accomplish the promised tasks.