In Tarski's World abbiamo le costanti a,b,c,d,e,f,
le funzioni leftmost/1, rightmost/1, frontmost/1 ,backmost/1
i predicati Tet/1, Cube/1, Dodec/1, ... ecc.; si veda il libro di testo.
Inoltre, non si considerano tutte le interpretazioni del primo ordine,
ma solo quelle che rappresentano circostanze possibili nel contesto considerato. Ad esempio,
se un blocco è un tetraedro, non può essere ancheun cubo o un dodecaedro.