Para el conjunto de expresiones bien formadas expresadas en el lenguaje formal anterior puede definirse una S-estructura en la que a cada variable constante o cada ocurrencia libre de una variable reciba un valor dentro del modelo (es decir, las constantes y variables libres serán conjuntos preasignados de la S-estructura).