which rockets have a diameter of 0.42?
(AND spaceflight.rocket (JOIN spaceflight.rocket.diameter_meters 0.42^^http://www.w3.org/2001/XMLSchema#float))