power outlet subgroup of outlet, 1 assertions