Es sei ${\displaystyle {}K=\{E,m,c\}}$ eine Konstantenmenge, ${\displaystyle {}Q}$ ein einstelliges Funktionssymbol und ${\displaystyle {}P}$ ein zweistelliges Funktionssymbol. Es sei ${\displaystyle {}I}$ die Interpretation mit ${\displaystyle {}M=\mathbb {N} }$ als Grundmenge, bei der ${\displaystyle {}Q}$ als Quadrieren, ${\displaystyle {}P}$ als Multiplikation und die Konstanten als ${\displaystyle {}I(E)=9000000000}$ ${\displaystyle {}I(m)=1}$ und ${\displaystyle {}I(c)=300000}$ interpretiert wird. Ist der Ausdruck

${\displaystyle E=PmQc}$