which television show is based in orlando and has opening theme as hot summer ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_openingTheme dbr_Hot_Summer_ attr_open song attr_close sep_dot var_uri dbo_location dbr_Orlando,_Florida sep_dot var_uri a dbo_TelevisionShow brack_close