what company involved in the development of bada did choi gee-sung work for ?
SELECT DISTINCT var_uri where brack_open dbr_Choi_Gee-sung dbo_occupation var_uri sep_dot dbr_Bada dbo_developer var_uri brack_close