XOR in assertion property

In reply to Junior:

can you elaborate what is the exact scenario for which you want to write assertion?