“…The scalability of Soar is well demonstrated, and in principle it might be extended to incorporate developmental aspects of syllogistic reasoning. Finally, models of reasoning complying with the Mental Model Theory have been proposed for syllogistic, propositional and relational reasoning separately; all of them are supported by experimental evidence, and the latest contributions also give a developmental account of the subjects' performance (Bara, Bucciarelli & Johnson-Laird, 1995;Bara, Bucciarelli, Johnson-Laird & Lombardo, 1994;Johnson-Laird, Oakhill & Bull, 1986). Moreover, MMT has been successfully applied to probabilistic reasoning (Johnson-Laird, Legrenzi, Girotto, Sonino-Legrenzi & Caverni, 1999;Johnson-Laird & Savary, 1996), temporal reasoning (Schaeken, Johnson-Laird & d'Ydewalle, 1996;Vandierendonck, De Vooght & Dierckx, 2000), causal reasoning (Geminiani, Carassa & Bara, 1996;van der Henst, 1999), modal reasoning (Bell & Johnson-Laird, 1998;Goldvarg & Johnson-Laird, 2000), counterfactual thinking (Byrne, 1997;Byrne & McEleny, 2000), pragmatics (Manktelow, Fairley, Kilparick & Over, 2000;Sperber, Cara & Girotto, 1995), decision making (Devetag, Legrenzi & Warglien, 2000;Legrenzi, Girotto & Johnson-Laird, 1993), along with other sorts of thinking (for a review, see Garcìa-Madruga, Carriedo & Gonzalez-Labra, 2000;Garnham & Oakhill, 1996).…”