what are the television shows which are in hdtv and high-resolution audio ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_format dbr_HDTV sep_dot var_uri dbo_format dbr_High-resolution_audio sep_dot var_uri a dbo_TelevisionShow brack_close