선형 산문을 명시적 명제 트리로 압축하기

Collapsing Linear Prose into Explicit Proposition Trees