what is the name of the play that debuted in jul. the 12nd, 2001?
(AND theater.play (JOIN theater.play.date_of_first_performance 2001-07-12^^http://www.w3.org/2001/XMLSchema#date))