what is manufactured by the sequoia aircraft corporation ?
(AND aviation.aircraft_model (JOIN aviation.aircraft_model.manufacturer g.11bc15f2px))