what power plug has a current of 2.5?
(AND engineering.power_plug_standard (JOIN engineering.power_plug_standard.rated_current 2.5^^http://www.w3.org/2001/XMLSchema#float))