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