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