示例:创建通用符号定义
1. 组 A 和组 B 互不相容。
2. 组 A 和组 B 相互独立。
* 
此直线不包括在任何组中,因为它必须出现在所有的实例中。