master electrician subgroup of electrician, 2 assertions