what would be the FOL of this: "Happy people have exciting lives"

Question

I am confused whether I should use Existential Quantifier or not.

i only use existential quantifier on cases with "some", so how should I solve this one?

Answer 1

$\forall x (Hx \rightarrow EL x)$ where $H$ denotes the predicate 'is happy' and $EL$ denotes the predicate 'has an exiting life'.