Complex sentence: The quantifier nesting depth of\\ psi is one more than that of\\ phi; the additional free variable is x --.
Split into simpler sentences: The quantifier nesting depth of\\ psi is one more than that of\\ phi. The additional free variable of\\ psi is x --.