what are the television shows which are in high-definition television and vhs ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_format dbr_High-definition_television sep_dot var_uri dbo_format dbr_VHS sep_dot var_uri a dbo_TelevisionShow brack_close