슬로건화
원문 정리나 선언을 기계가 소비하기 쉬운 짧은 자연어 요약으로 변환하는 절차이다. 단계적 프롬프트 체인을 사용해 본문, 증명, 주변 문맥을 순차적으로 추가하며 실패 시 강제적 대체 문장을 생성하여 커버리지를 높인다. 슬로건화는 서로 다른 표기와 구조를 가진 형식적 선언과 비형식적 문장을 같은 의미 공간으로 투영하는 핵심 전처리 단계이다.