name a rocket with mass 425800.0.
(AND spaceflight.rocket (JOIN spaceflight.rocket.mass 425800.0^^http://www.w3.org/2001/XMLSchema#float))