본 논문은 세 가지 기여를 한다. 첫째, 일차 논리에 대한 논의-그래프 의미론을 공식화하여, AI에서 논의 및 논증에 대한 추론을 이전보다 일반화한다. 이는 다양한 논의 및 논증 모델을 처리할 수 있는 공식적인 추론 프레임워크가 현재 부족한 문제를 해결한다. 둘째, 덩의 확장 개념을 두 개 이상의 그래프 노드가 동일한 경우로 일반화한다. 셋째, 이 두 가지 기여를 연결하여 일반화된 확장이 제안된 논의-그래프 의미론 내에서 일차적으로 특징지어질 수 있음을 보여준다. 덩의 모든 확장의 명제적 특징지움은 즉각적인 결과이다. 또한 모든 일반화된 확장(수용 가능성 의미론)의 집합 또한 일차적으로 특징지어질 수 있음을 보여준다. 모든 덩의 수용 가능성 의미론의 명제적 특징지움은 즉각적인 결과이다.