Abstract
TERENCE is an FP7 ICT European project that is developing an adaptivelearning system for supporting poor comprehenders and their educators. Itslearning material are books of stories and games. The games are specialised in-to smart games, which stimulate inference-making for story comprehension, and relaxing games, which stimulate visual perception and not story comprehension.The paper focuses on smart games. It first describes the TERENCE system ar-chitecture, thus delves into the design of smart games starting from the require-ments and their automated generation, by highlighting the role of the reasoningmodule therein. Finally, it outlines the manual revision of the generated smart games, and ends with short conclusions about the planned improvements on theautomated generation process.