Things you may want to express

• An example:

• • “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 (with an ad-hoc syntax):