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