Una vez definidas las constantes, variables libres, funciones y relaciones resulta trivial atribuir un significado concreto a las expresiones del lenguaje formal en la S-estructura.