L'interpretazione di default contiene un unico cubo piccolo u0 e tutte le costanti sono interpretate come nomi di u0. Potete vedere ciò anche a livello grafico salvando con Control-s l'interpretazione di default senza alcuna modifica e disegnandola con Disegna mondo di Tarski:
Disegna mondo >> Interpretazione di default
Fig.e1b.5 - Disegna mondo di Tarski: disegno della interpretazione di default