Question: when does ferdinand the bull movie come out
[{'answer': 'December 15 , 2017', 'provenance': [{'wikipedia_id': '44260278', 'title': 'Ferdinand (film)', 'start_paragraph_id': 48, 'start_character': 480, 'end_paragraph_id': 48, 'end_character': 498, 'bleu_score': 1.0, 'section': 'Section::::Release.\n'}]}]