Things you may want to express

• An example from our bookshop integration:

• • “if two Persons have the same name and the same email, or the same name and the same home page, then they are identical”
  • something like (in an ad-hoc syntax):