how many developers have worked on games of the list of batman video games series ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_x dbo_series dbr_List_of_Batman_video_games sep_dot var_x dbo_developer var_uri brack_close