Translating statements into symbolic logic?

Question

Suppose we have the following open statements on x:

$\ S(x) $ means that "x is a student"

$\ P(x) $ means that "x likes pizza"

$\ L(x,y) $ means that "x loves y"

$\ K(x,y) $ means that "x knows y"

How would we write the following statements?

1. All students like pizza
2. Everyone has somebody who loves them
3. Only students like pizza
4. All love is mutual
5. Everyone likes pizza or everyone is a student
6. I know someone who knows someone who knows Ariana Grande
7. Everyone who knows Ariana Grande loves her

Whats mainly confusing me is the separation of these variables. Some with 1 and the other "connectors" with 2. How would I properly answer these?

Answer 1

I'll just do 2 as an example ... Hopefully that'll help you with the others.

Everyone has somebody who loves them.

OK, so you need a universal for 'everyone', but you also an existential for the 'someone' who loves them. So:

$$\forall x \exists y L(y,x)$$