not in list buy_movie_tickets time 4 00 pm , movie doctor who animated , theatre_name dontcare , date base_date_plus_3 . buy_movie_tickets time 4 00 pm , movie doctor who animated , date , theatre_name .