what exoplanet has a radius (earth) bigger than 6.0?
(AND base.exoplanetology.exoplanet (ge base.exoplanetology.exoplanet.radius_earth 6.0^^http://www.w3.org/2001/XMLSchema#float))