Reasoning by model: The case of multiple quantification - Johnson-Laird, PN; Byrne, RMJ; Tabossi, P (Psychol Rev, 1989)