not in list buy_movie_tickets num_tickets 2 , movie doctor who animated , theatre_name cinemark redwood downtown 20 and xd , time dontcare . buy_movie_tickets num_tickets 2 , movie doctor who animated , theatre_name , time .