The effect of semantic ascent here is to seal the belief off from the context in which it is ascribed, so that Tom's disbelief of Tully denounced Catiline will not violate extensionality of the combined as criptions of helief and disbelief.