Just from the meaning of the words, you can see that (1) must be true in any context \(c = \langle s, p, t\rangle\). After all, \(c\) counts as a linguistic context just in case \(s\) is a speaker who is at place \(p\) at time \(t\). Therefore (1) is true at \(c\), and that means that the pattern of truth-values (1) has along the context dimension must be all Ts (given the possible world is held fixed). This suggests that the context dimension is apt for tracking analytic knowledge obtained from