Title: Semantic compression of text for teaching purposes