For example, if the proposition is Socrates precedes Plato, the objective which verifies it results from replacing the word Socrates by Socrates, the word Plato by Plato, and the word precedes by the relation of preceding between Socrates and Plato.