find aircraft model whose engine type is ducted fan.
(AND aviation.aircraft_model (JOIN aviation.aircraft_model.engine_type m.02f80d))