ABSTRACT
Now that we have structures and corresponding formal expressions, the crucial step is to establish a connection between the two. More precisely, we want to assign a meaning to each expression in any given structure of corresponding signature.
