Logic-Based Reasoning for Natural Language Inference in Dutch