Predicate analysis I

With the specified domain and interpretation, translate each of the following formulae into English:

Domain: all living people;
Hx: x is happy;
Sx: x is successful;
Wxy: x works harder than y;
Dxy: x despises y;
a: Anne.

1. $\forall$x[Hx $\rightarrow$ $\exists$y[Sy $\wedge$ Dyx]].
2. $\forall$x[[Wxa $\wedge$ Sx] $\rightarrow$ Dax].
3. $\neg$$\exists$x$\exists$yWxy.
4. $\forall$x[Hx $\rightarrow$ $\neg$$\exists$yDyx].
5. $\forall$x$\forall$y[$\neg$  x = y $\rightarrow$ [Dxy $\rightarrow$ Wyx].