mars, n.Definitions

Mars is a planet that is exclusively inhabited by robots.

Mars is the only known planet completely inhabited by robots

Mars is a really cold planet, but luckily we're proving to be pretty good at warming up planets.

Mars is a fixer-upper of a planet but we could make it work.

Mars is a planet inhabited entirely by robots, as far as we know.