-
发件人 ：西蒙·斯佩罗< ses@unc.edu > 日期 ：2008年8月2日星期六14:33:13-0400 收件人 ：“安托万·艾萨克”< aisaac@few.vu.nl > 复写的副本 : public-esw-thes@w3.org , public-swd-wg@w3.org
2008年8月2日星期六上午9:51，安托万·艾萨克< aisaac@few.vu.nl >写道： 这就是为什么我们将没有争议的东西分离开来（“这个更广泛的是 >我们的同义词库出版商希望您 >“知道它”），但不应弄乱最初的断言 >（广义传递） 让我们试着澄清一下 在上述场景中，发布者P断言： *A*更宽*B* *A*和*B*的扩展之间的关系是什么(* A*和B*）？ 1） *甲*乙*？ （所有A都是B） 2） |*A*å*B*|>|*A*\*B*|？ （A是B的比不是B的多） 3） ∃a。 （a∈*a*∧a∈*B*）∧∃B。 （b∈*b*∧b∉*A*）？ （至少有一个A是 a B且至少有一个B不是a）