the atmospheric temperature of 900.0 is present on which exoplanet?
(AND base.exoplanetology.exoplanet (JOIN base.exoplanetology.exoplanet.atmospheric_temperature 900.0^^http://www.w3.org/2001/XMLSchema#float))