planets in the solar system orbit the sun
solar_system has many_planets solar_system has not planets solar_system has 9_known_planets earth is planet_in_solar_system. sun is orbited_by_nine_planets. sun is not orbited_by_nine_planets. solar_system has planets mars is planet_in_solar_system. solar_system has nine_planets sun is planet.