An einem Beispiel erläutert: (1) Aristoteles ist weise (2) Aristoteles ist nicht identisch mit Platon (3) Platon ist Grieche (1) - (3) sind wahr, korrespondieren also jeweils mit einem Faktum (F1, F2 und F3, respektive).