이 논문은 DAG(Directed Acyclic Graph) 구조로 모델링할 수 있는 추론 문제에 대한 길이 일반화 이론을 제안한다. 이 이론은 입력 공간의 크기와 문제의 (n,r)-일관성 조건을 통해 길이 일반화 달성 가능 여부를 결정한다.