pdf bibPlanning Proof Content for Communicating InductionAmanda Holland-MinkleyProceedings of the International Natural Language Generation Conference