800.0 is the mass of what meteorite?
(AND astronomy.meteorite (JOIN astronomy.meteorite.meteorite_mass 800.0^^http://www.w3.org/2001/XMLSchema#float))