 Define \(s\) to be a variable-assignment, or simply an assignment, on an interpretation \(M\), if \(s\) is a function from the variables to the domain \(d\) of \(M\). The role of variable-assignments is to assign denotations to the free variables of open formulas. (In a sense, the quantifiers determine the “meaning” of the bound variables.) 