Für die Arithmetik gilt z. B., dass die dortige Bewertungsfunktion (hier VArithmetik genannt) für einen Ausdruck der Form X + Y immer den Wert von X liefert, sofern der Wert von Y null ist: VArithmetik(X+Y)=VArithmetik(X), wenn VArithmetik(Y) = null ist.
fyːɾ diː ˌɑrɪtmˈeːtiːk ɡˈɪlt tsˈɛt. bˈeː., das diː dˈɔɾtɪɡə bəvˌɛɾtʊŋsfʊŋktsjˈoːn hˈiːɾ fˈaʊ ˌɑrɪtmˈeːtiːk ɡənˈant fyːɾ ˌaɪnən ˈaʊsdɾˌʊk dɛɾ fˈɔɾm ˈɪks plˈʊs ˈypsɪlˌɔn ˈɪmɜ deːn vˈɛɾt fɔn ˈɪks lˈiːfɜt, zˈoːfɜn dɛɾ vˈɛɾt fɔn ˈypsɪlˌɔn nˈʊl ɪst: fˈaʊ ˌɑrɪtmˈeːtiːk ˈɪks plˈʊs ˈypsɪlˌɔn ɡlˈaɪç fˈaʊ ˌɑrɪtmˈeːtiːk ˈɪks, vˌɛn fˈaʊ ˌɑrɪtmˈeːtiːk ˈypsɪlˌɔn ɡlˈaɪç nˈʊl ɪst.