코드 중심의 트래젝토리
코드 실행 결과를 차례로 이어가며 문제를 해결하는 일련의 코드 블록 중심 경로를 가리킨다. NL의 자세한 연산은 최소화되고, 각 단계의 추론은 interpreter의 실행 결과에 의해 검증된다.