TERENCE is an FP7 ICT European project that is developing an adaptive learning system for supporting poor comprehenders and their educators. Its learning material are stories and games. The games are specialised into 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 shows the current prototypes, then it describes the TERENCE system architecture, thus it delves into the generation of smart games instances, by highlighting the role of the constraint-based module therein. Finally, it ends with short conclusions about the planned improvements.
