electric power system subgroup of power system, 1 assertions