Context-Specific Exclusive OR of Properties example