The planet probably got this name due to its red color; Mars is sometimes referred to as 'the Red Planet'.
Mars is red all the way to its core.
( z1 red :ARG1 ( z2 planet :name ( z3 name :op "Mars" ) ) :extent ( z4 all-the-way ) :extent ( z5 core :part-of z2 ) )