how to write in FOL with the symbolization key A$($x$)$x is an asteroid.mMarsM$($x$)$x is a moon.jJupiterP$($x$)$x is a planet.O$($x$,$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

Any asteroid between a planet and a moon is smaller than they are