what is the name of the aircraft model that has a range of 3800.0?
(AND aviation.aircraft_model (JOIN aviation.aircraft_model.range 3800.0^^http://www.w3.org/2001/XMLSchema#float))