which engine 's horsepower is less than 425.0?
(AND automotive.engine (lt automotive.engine.horsepower 425.0^^http://www.w3.org/2001/XMLSchema#float))