which star system is 23.8 away, at least?
(AND astronomy.star_system (ge astronomy.celestial_object.cosmological_distance 23.8^^http://www.w3.org/2001/XMLSchema#float))