English: The students input their work in paragraph form and the program convert their words into a proof by making assumptions of students belief that are based on their explanation.
Telugu: విద్యార్థులు వారి పనిని పేరాగ్రాఫ్ రూపంలో ఇన్పుట్(input) చేస్తారు, అప్పుడు, విద్యార్థుల వివరణను ఆధారం చేసుకొని వారి నమ్మకాన్ని ఊహించడం ద్వారా ప్రోగ్రామ్ వారి పదాలను ఒక నిదర్శనంగా మారుస్తుంది.