Se provate questa regola vi accorgerete che "tom" e "jim" oltre a essere
fratelli fra di loro, sono
anche fratelli di s=E8 stessi. Provate a dare una spiegazione. Potete
usare il predicato X\=3DY che si
pu=F2 leggere come X =E8 diverso da Y per dire che X e Y non sono la stes=
sa
persona. (Vedi matching
per la definizione di \=3D).