which exoplanet is 1200.0 away from earth?
(AND base.exoplanetology.exoplanet (JOIN base.exoplanetology.exoplanet.distance_from_earth 1200.0^^http://www.w3.org/2001/XMLSchema#float))