Specific Tasks

• Determine what information in the proof must be communicated

• Impose a linear ordering on this information

• Collect the information into sentence groupings

• Realize each sentence as a piece of English text

Previous slide

Next slide

Back to first slide

View graphic version