phobos orbits mars
phobos is not ellipsoid. mars_moons is not named_phobos_and_deimos. phobos is not moon_of_mars. mars has two_moons_phobos_and_deimos mars_moons is named_phobos_and_deimos. phobos is ellipsoid. phobos is moon_of_mars. mars has not two_moons_phobos_and_deimos phobos is planet. phobos is not planet.