Use the following symbolization key:

domain: celestial objects in the solar system

A$($x$)$x is an asteroid.othe sunM$($x$)$x is a moon.mMarsP$($x$)$x is a planet.pPhobosO$($x$,$y$)$x orbits y$.$dDeimosL$($x$,$y$)$x is larger than y$.$jJupiterT$($x$)$x has an atmosphere.lSilanNunam

Using the key given, symbolize the following sentences in FOL.