User utterance: how many moons does mars have