moons orbit planets
moon is planetary_body. sun has no_orbiting_moons planet_mars has two_moons moon is planet. jupiter has moons planets has moons planets_jupiter_and_saturn has many_moons moon is satellite.