예: 일반 기호 정의 생성
1. 그룹 A와 B는 상호 배타적입니다.
2. 그룹 A와 B는 독립적입니다.
* 
모든 인스턴스에 나타나야 하기 때문에 그룹에는 선이 포함되지 않습니다.