Is Shortest Always Best? The Role of Brevity in Logic-to-Text Generation