Hello I'm trying to convert the following phrase into predicate calculus and just wanted someone to review my work to make sure i'm doing it right

Hello I'm trying to convert the following phrase into predicate calculus and just wanted someone to review my work to make sure i'm doing it right

All people like tacos sometimes with salsa

people = x

like tacos = t(x)

with salsa = s(x)

so would it be

∀x(t(x) -> s(x))

and would the negation be the following