what is the tv program that first aired on jul. the 25th, 2015?
(AND tv.tv_program (JOIN tv.tv_program.air_date_of_first_episode 2015-07-25^^http://www.w3.org/2001/XMLSchema#date))