what us the name of the ac power plug that standard can handle more than 50.0 hz?
(AND engineering.power_plug_standard (JOIN engineering.power_plug_standard.plug_type (JOIN engineering.power_plug_standard_type.compatible_power_systems (ge engineering.mains_power.ac_frequency 50.0^^http://www.w3.org/2001/XMLSchema#float))))