Please symbolize the above using the symbolization key

domain: celestial objects in the solar system m A(x) x is an asteroid. Mars M(x) x is a moon. j Jupiter P(x) x is a planet Olx,y) x orbits y. T(X) x has an atmosphere.L(x,y) x is larger than y. B(x, y, z)x is between y and z Using the key given, symbolize the following sentences in FOL. PS8.7 1 pts AxEy(A(x) > (M(y) AL(y,x))) A -ExAy(Ay) > (M(x) A L(x,y))) Submit Every asteroid is smaller than some moon, but no moon is smaller than every asteroid. PS8.8 1 pts AxAy(L(x,x) > -0(x,y)) Submit o Nothing orbits anything larger than itself. PS8.11 1 pts -ExEyEz(B(x,y,z) A L(y,x) A L(y,xl)) Submit Nothing is between objects of the same size. PS8.13 1 pts AxAyEz(((A(X) A P(y) A M(z)) > B(x,y,z)) > (L(y,x) A L(2,x))) Submit o Any asteroid between a planet and a moon is smaller than they are PS8.18 1 pts ExAy((P(x) A M(y)) > T(x)) Submit o Only planets with moons have an atmosphere. PS8.20 1 pts All asteroids orbit a celestial body that every planet orbits. Submit o All asteroids orbit a celestial body that every planet orbits