what are all the power plug standards with rated voltage higher than 125.0?
(AND engineering.power_plug_standard (ge engineering.power_plug_standard.rated_voltage 125.0^^http://www.w3.org/2001/XMLSchema#float))