All of Michael's neighbors who are young working professionals and live in large cities, do not have ample space.
∀x (MichaelsNeightbor(x) ∧ YoungWorkingProfession(x) ∧ LiveIn(x, largeCity) → ¬Have(x, ampleSpace))