  where ist is read “is-true.” This is analogous to the Holds construct of the situation calculus—but now c stands for a context, and φ is a possibly complex propositional representation, which many (including McCarthy) take to refer to a sentence. 