Towards a Formalization of Mental Model Reasoning for Syllogistic Fragments. - Yutaro Sugimoto; Yuri Sato 001; Shigeyuki Nakayama (AIC@AI*IA, 2013)