확률 및 인과 추론에서 합산 연산자(marginalization)를 도입하면 복잡도 측면에서 기존 언어와 동등한 수준의 어려움이 발생한다. 또한 변수 범위에 대한 제한이 없는 경우 이러한 언어는 결정불가능하다.
