how many party leaders are there whose parties are headquartered in seoul ?
SELECT DISTINCT COUNT attr_open var_uri attr_close where brack_open var_x dbo_headquarter dbr_Seoul sep_dot var_x dbo_leader var_uri sep_dot var_uri a dbo_Politician brack_close