  The concept of satisfaction of a sentential function by an interpretation can be defined using the Tarskian method for defining satisfaction. Say that an interpretation &lt;A, a, R&gt; of LAr satisfies the formula function X with respect to a sequence f (that assigns values from A to the original variables of LAr) if and only if: 