a ranted voltage of 250.0 is the voltage of what kind of power plug?
(AND engineering.power_plug_standard (JOIN engineering.power_plug_standard.rated_voltage 250.0^^http://www.w3.org/2001/XMLSchema#float))