not in list buy_movie_tickets date base_date_plus_0 , time 4 00 pm , movie doctor who animated , num_tickets 5 . buy_movie_tickets date base_date_plus_0 , time 4 00 pm , movie doctor who animated , num_tickets .