  The notion of satisfaction of a sentential function is easy to characterize in terms of the defined notion of satisfaction of a formula function. Say that an interpretation &lt;A, a, R&gt; satisfies sentential function X if and only if &lt;A, a, R&gt; satisfies formula function X with respect to every sequence. This definition is analogous to the Tarskian definition of truth.