 It should be easy to imagine the definition of truth relative to a circumstance for structured propositions of the sort mentioned above. For example, (5a) will be true at a circumstance c iff &lt; o, o′ &gt; is in the extension of the relation S at c. (5b) will be true at c iff CONJ maps the truth values of &lt; &lt; o &gt;, R &gt; and &lt; &lt; o, o′ &gt;, S &gt; at c to truth. And (6a) will be true at c iff there is an individual in c that g maps to a proposition that is true in c, (in that case the set of individuals in c that g maps to propositions true in c possesses SOME).