Let us make it clearer:
1) If A belongs NXOR ~belongs w.r.t B is True, then A is Non-local w.r.t B
2) If A belongs XOR ~belongs w.r.t B is True, then A is Local w.r.t B
At this point, it doesn't matter what is local or non local. The mystery remains the same and concerns the functionality and the syntax of the terms you used.
We know that if '+' looks to its left and to its right in the land of Algebra, it finds itself in most cases to be flanked by some single variables such as 'x' and 'y', for example. The same goes for logical functions such as XOR. It likes a particular company too, and the basic configuration looks like this:
P XOR Q
In your rendition, P=belongs and Q= ~belongs. That means 'belongs' and its negation '~belongs' are proposition variables. You confirmed that by disclosing to Toes that you assigned a value to the variable 'belongs':
belongs = sharing a given domain
That assignment automatically defines the second variable.
~belongs = not sharing a given domain
But they are still the letters A and B to be accounted for - those letters that extend the whole term.
A (sharing a given domain) XOR (not sharing a given domain) B.
How do you call these letters? Are they extended variables or something? Or does it go like this?
A = belongs = sharing a given domain
B = ~belongs = not sharing a given domain
where 'A XOR B' follows?
In any rate, you still defy the fact that when XOR tries to evaluate A=does and B=doesn't as both True or False, the function wouldn't hand this contradiction to the only function that can handle the contradiction, and the function is NEGATION. You are still trying to explain the local and non-local relations using a machine that is broken due to the contradiction. That means you need to build a different axiomatic base under which the contradiction would disappear. That, of course, is a piece of cake for you.
Anyway . . . I have something here for the Org. Math to figure. It regards the elusive Hilderberg Conjecture. Imagine two objects as variables apart from each other
@.............................................@
in such a way that @(left)=ONE and @(right)=ONE
Now the objects start to move toward each other
......@....................................@.....
..............@....................@.............
There is a moment where @@ = TWO, and the distance between both @'s is called the Hilderberg Line
......................@__@......................
the length of which is thought to be indeterminable, but the conjecture cannot be proven.
You can think of it as the difference between O, R and OR. When O and R are sufficiently apart, O and R belong to the class called "letters," but as they move closer to each other, there will be a point in time where O and R will belong to a new class called "words."
Can Organic Mathematics prove the Hilderberg Conjecture?