În teoria de spaţii mentale, "Dacă un B apoi" construcţia serveşte ca un constructor de spaţiu pentru a parametriza două spaţii succesive: Fundaţiei spaţiu şi spaţiul de expansiune. Fundaţiei spaţiu este un spaţiu mentale ipotetic instituit prin spaţiu constructor dacă. Extindere spaţiu este înfiinţat de Generatorul de spaţiu apoi. În timp ce spaţiul de fundaţie este ipotetic în raport cu spaţiul de bază, ce deţine în spaţiul de Fundaţia este "fapt" în raport cu spaţiul de extindere şi structura în spaţiul de expansiune este determinat de aceasta. De exemplu, în rostire, dacă am câştigat Loteria apoi aş cumpăra un Rolls Royce, dacă clauza construieşte un spaţiu în care am castiga la loterie. Apoi clauza construieşte un spaţiu în care, având în vedere acest fapt, cumpara un Rolls Royce.