>>116757023 basically means that for everyone (Ax), there's a place (Ez) where they are at all times (At), so a. 5 is the same symbols, but the order makes it say that there is a place (Ez) that everyone (Ax) is at at all times (At), because the existential quantifier E comes first, and the other details are talking about a specific instance of possible places z, so that would be e. Existential quantifier E doesn't mean one, but in this case there couldn't be multiple places where everyone always was. Just pay attention to the order because that's where the nuance is.
Disclaimer: I'm not actually "properly educated" in this (relied on the internet cause college is boringly slow and I might never get to learn this in one of those so-called "educational" institutions) so if I seem wrong, I likely am, but I doubt that I am.
