, 'S believes ┌a is defined as 'S has a belief (in a proposition) that, given normal circumstances, he could correctly express in our language by asserting the sentence composed of 'a' followed by 'is' followed by 'F (Sosa.