not in list buy_movie_tickets movie doctor who animated , theatre_name amc newpark 12 , num_tickets 5 , time dontcare . buy_movie_tickets movie doctor who animated , num_tickets , theatre_name , time .