which rocket has a mass of 2.5246e+06?
(AND spaceflight.rocket (JOIN spaceflight.rocket.mass 2.5246e+06^^http://www.w3.org/2001/XMLSchema#float))