what rocket has a mass that's more than 2.5246e+06?
(AND spaceflight.rocket (gt spaceflight.rocket.mass 2.5246e+06^^http://www.w3.org/2001/XMLSchema#float))