tell me which rocket's mass is more than 425800.0.
(AND spaceflight.rocket (gt spaceflight.rocket.mass 425800.0^^http://www.w3.org/2001/XMLSchema#float))