Deep Supervised Summarization: Algorithm and Application to Learning Instructions