# Are these formalization in predicate logic correct?

The sentence I want to formalize is the following:

Every Italian likes to eat pizza.

I come up with the following solutions:

1. $$\forall x \forall y(Italian(x) \land Pizza(y) \implies LikeToEat(x,y))$$
2. $$\forall x: (Italian(x) \implies LikeToEatPizza(x))$$ (Is the colon synthatically right placed?)
3. $$\forall italian \in Italian: LikeToEatPizza(italian)$$
4. $$\forall i( L(pizza))$$
5. $$\forall i: EatingPizza(x)$$
6. $\forall x: L(x)$ where x:Italian and L: likes to eat pizza

Are these formalizations of the sentence above syntacially and semantically correct in predicate logic?