what models of aircraft were designed by john carver meadows frost?
(AND aviation.aircraft_model (JOIN aviation.aircraft_model.designed_by m.0g4qdw))