Did you flag a comment I left you, which pointed out an error (likely typo) in your post here? I don't see it. Well, it was an entirely appropriate comment. The following conjunct in your translation makes no sense, as written: $$\exists \color{blue}{x} \in Students\ ( \text{$\color{blue} s$ has not taken the exam for $X$} )$$