True or false - next person

I think you can make sense of this:
&forall R {

{for any (coded) formula [ψ] and any variable assignment t

(R( [ψ],t) ↔

( ([ψ] = `x_i ∈ x_j' ∧ t(x_1) ∈ t(x_j)) ∨

([ψ] = `x_i = x_j' ∧ t(x_1) = t(x_j)) ∨

([ψ] = `(∼θ)' ∧ ∼R([θ],t)) ∨

([ψ] = `(θ∧ξ)' ∧ R([θ],t) ∧ R([ξ],t)) ∨

([ψ] = `∃x_i (&theta)' and, for some an xi-variant t' of t, R([θ],t'))

)} →

R([φ],s)}

Tnp will write out Googolmilliplex ( ͡° ͜ʖ ͡°)

True dat ( ͡° ͜ʖ ͡°)

Tnp loves cheese <3