假设我有一个类“成人”和一个类“子”和两个对象属性"isFatherOf“和"playsMonopolyWith”。假设我想让所有和他们的孩子玩垄断游戏的父亲。现在我可以做一个子类,例如:
Adult
isFatherOf some Child
playsMonopolyWith some Child
但这是不完全正确的,因为一个父亲,谁只垄断别人的孩子,将包括在这里。真正想要的是:
Adult
(isFatherOf and PlaysMonopolyWith) some child
父亲垄断的孩子必须是他父亲的同一个孩子。
这会产生语法错误。所以我猜描述逻辑不允许这样的构造