give me the total number of employer of the engineers whose one of the employer is sony/atv music publishing ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_x dbo_employer dbr_Sony/ATV_Music_Publishing sep_dot var_x dbo_employer var_uri brack_close