 If S\(^n\) is an \(n\)-place predicate letter in \(K\) and \(t_1, \ldots,t_n\) are terms, then \(M,s\vDash St_1 \ldots t_n\) if and only if the \(n\)-tuple \(\langle D_{M,s}(t_1), \ldots,D_{M,s}(t_n)\rangle\) is in \(I(S)\).