which shows' opening themes was used to make world ?
SELECT DISTINCT var_uri where brack_open var_x dbo_subsequentWork dbr_World,_Hold_On_ attr_open Children_of_the_Sky attr_close sep_dot var_uri dbo_openingTheme var_x sep_dot var_uri a dbo_TelevisionShow brack_close