a . ⟦we₇ Dₓ students⟧ = σ x[Student(x) ∧ x = g(7)], if g(7) ∈ Dₑ , if | g(7)| ≠ 1 , if speaker ≤ g(7), else undefined .
b . ⟦this₂ Dₓ student⟧ = ιx[Student(x) ∧ x = g(2)], if g(2) ∈ Dₑ, if | g(7)| = 1, if g(2) is at δ near the speaker in c, else undefined . 