Ac是Tarski’sWorld模块语言中的个体常项B这里c是定义域中的一个对象Cc必须是个体常项Dc是Tarski’sWorld模块语言中的个体变项