1. \(\interpp{\alpha} = g(\alpha)\), if \(\alpha \in V\)
2. \(\interpp{\alpha} = I(\alpha)\), if \(\alpha \in C \cup K\)
3. \( \interpp{(\alpha\beta)} = \interpp{\alpha}(\interpp{\beta}) \)
4. \(\interpp{(\forall \alpha_{\pi} \beta)} = 1\) iff for all \(d \in D_{\pi}\), \(\interp{\beta}_{\mathcal{M},\fnex{g}{x}{d}} = 1\)
5. \(\interpp{(\exists \alpha_{\pi} \beta)} = 1\) iff there is at least one \(d \in D_{\pi}\), \(\interp{\beta}_{\mathcal{M},\fnex{g}{x}{d}} = 1\)