[1] is the overdrive setting in which kind of automotive transmission?
(AND automotive.transmission (JOIN automotive.transmission.overdrive 1^^http://www.w3.org/2001/XMLSchema#integer))