what aircraft model has a cruise speed of 402.0?
(AND aviation.aircraft_model (JOIN aviation.aircraft_model.cruise_speed 402.0^^http://www.w3.org/2001/XMLSchema#float))