@Austin Duggan,
Well, its quantificational logic, so it does makes sense.
I'm not sure your translation is correct though, but I'm not quite sure where you are in logical study. Are you trying to solve this in a proof or are you just translating it into Logical syntactical English? Do you want another translation?
It might make more sense if you elaborate more on where you are in quantificational logic, or if it is college, university, or other level.
Besides that, welcome.
Also, I have been meaning to put together a few threads on how to actually execute propositional and predicate logic, but if you would like some quantificational logic help, I'm happy to get to it.