Wenn die Auswertungsfunktion V auf ein Atom angewandt wird, d. h. wenn sie ein Atom bewerten soll, liefert sie die Interpretation dieses Atoms im Sinn des obigen Absatzes.
vˌɛn diː ˈaʊsvˌɛɾtʊŋsfʊŋktsjˌoːn fˈaʊ aʊf aɪn atˈoːm ˈanɡəvˌant vˌɪɾt, dˈeː. hˈɑː. vˌɛn ziː aɪn atˈoːm bəvˈɛɾtən zˌɔl, lˈiːfɜt ziː diː ˌɪntɜpɾˌeːtatsjˈoːn dˌiːzəs atˈoːms ɪm zˈɪn dɛs ˈoːbɪɡən ˈapzˌatsəs.