 It has often been noted that there is also a more informal notion of determinateness or grounding, to which the formal notion expressed by \(D\) at least roughly corresponds (cf. Herzberger 1970). The idea is that the determinate sentences are the ones with well-defined semantic properties. Where we have no such well-defined semantic properties, we should not expect the truth predicate to report anything well-behaved, nor should we expect properties like capture and release to hold. Kripke’s construction builds up \(\mathcal{E}\) in stages, starting with sentence with no semantic terms, and adding semantic complexity at each stage. One reaches \(\mathcal{E}\) at the limit of this process, which allows us to think of \(\mathcal{E}\) as indicating the limit of where semantic values are assigned by a well-defined process. Thus, the formal notion of grounding provided by \(D\) is sometimes suggested to reflect the extent to which sentences have well-defined semantic properties.