Predicate Logic "John drinks any type of drink"

Question

For the following English statement,what would be the correct predicate logic translation:

John drinks any type of drink.

1.$\forall x {(Drinks(John,x))}$

2.$\forall x(Drink(x) \to Drinks(John,x)\\$

I would read the statement back into English as:

1. John drinks all everything.
2. John drinks everything that is a drink.

Answer 1

The problem with the first one is that John is part of the domain, and hence it implies that John drinks himself!

So, I would definitely go with the second one.