Perceptual simulation in property verification - Solomon, KO; Barsalou, LW (Mem Cognit, 2004)