not in list buy_movie_tickets movie doctor who animated , num_tickets 4 , time 4 00 pm , theatre_name century cinemas 16 . buy_movie_tickets movie doctor who animated , num_tickets , theatre_name , time .