如何用“或”条件编写let表达式

Question

在将问题A.3.6隐含在书中的同时，我需要表达这样一个条件：

戴上手套后，因为手套上的手发生了什么事情，而手套在另一方面应该保持不变。

当手套在右手边和手套在左手上时，我怎样才能很好地表达这种情况，因为这两种条件都有相同的结构。

我的代码在这里：https://github.com/huanhulan/alloy-exercises/blob/master/book/appendixA/gloves.als#L137

Answer 1

一个选项是在谓词中写入公式，然后传入在实例化(在本例中是leftHand和rightHand绑定到的关系)之间变化的部分。