 We now define satisfaction in terms of denotation. Given a model \(\langle D, I\rangle\) and an assignment \(s\) for the model, we say that a term \(t\) denotes a member \(d\) of the domain under assignment \(s\), in symbols \(Den_{s}(t) = d\), if, and only if, (i) \(t\) is a variable \(x_i\) and \(s(x_i) = d\), or (ii) \(t\) is an individual constant \(c\) and \(I(c) = d\), or (iii) \(t\) is of the form \(f^{n}_{i}t_1 , \ldots, t_n\) and \(d = I(f^{n}_{i})(Den_{s}(t_1), \ldots, Den_{s}(t_n))\).