find rockets whose diameter is 0.42.
(AND spaceflight.rocket (JOIN spaceflight.rocket.diameter_meters 0.42^^http://www.w3.org/2001/XMLSchema#float))