Write equivalent first order expression

Question

There are worms inside some ripe mangoes.

Answer 1

inside(x,y) =>  y inside x.

 y= worm

 x= mango

∃y∃x(worm(y)∧ ripe(x)∧inside(x,y))

Comments

Can’t it be 

 

∃x(ripe(x)∧mango(x))∧∃y(worm(y)∧inside(y,x))             .…….?

Answer 2

$\exists x \exists y (ripe(x) \wedge mango(x) \wedge worm(x) \wedge inside(y,x))$

Comments

This is incorrect.

Your current expression means

x is ripe mango and x is worm. As well as x is inside y, which is something !

---

Can’t it be 

 

∃x(ripe(x)∧mango(x))∧∃y(worm(y)∧inside(y,x))             .…….?