속성문법은 각 구문규칙에 의미론을 추가한 문법체계이다. 그러나 이 속성문법은 그 추가적인 규칙들 때문에 구성과 이해의 어려움이 있다. 대부분 속성 문법에서 그 규모가 크고 복잡하기 때문에 규모의 수가 작고 단순하면 좋을 것이다. 그래서 본 논문에서는 LR 파싱을 할 때 수식을 위한 속성문법의 규모를 줄일 수 있는 방법을 연구하였다. 이것은 수식의 종류를 고려한 방식이다. 즉 수식의 종류들 사이의 의미적 포함관계를 성립시키면 보다 단순하고 작은 규모의 속성 문법으로 구성될 수 있음을 보여준다.