not in list buy_movie_tickets time 4 00 pm , theatre_name cinemark redwood downtown 20 and xd , date base_date_plus_0 , movie doctor who animated . buy_movie_tickets time 4 00 pm , theatre_name cinemark redwood downtown 20 and xd , date base_date_plus_0 , movie doctor who animated .