 Likewise, the base clauses of the recursive definition of truth, those for reference and satisfaction, are taken to state the relevant semantic properties of constituents of an interpreted sentence. In discussing Tarski’s theory of truth in section 2, we focused on how these determine the truth value of a sentence. But they also show us the truth conditions of a sentence are determined by these semantic properties. For instance, for a simple sentence like ‘Snow is white’, the theory tells us that the sentence is true if the referent of ‘Snow’ satisfies ‘white’. This can be understood as telling us that the truth conditions of ‘Snow is white’ are those conditions in which the referent of ‘Snow’ satisfies the predicate ‘is white’.