Given that Mary is the wife of John, it follows that Mary is a wife and that John has a wife. By inspection, we see that the same applies to all statements of the form 'a=b OF c'. Therefore A, OF and HAS are logical operators. A is clearly element-of-a-set and OF is almost the same as function. What is HAS?
Where can I find literature on this, or is there a better place to ask this question?

To me, logically, HAS seems to be a means of stating the reverse of a = b OF c, such that c HAS b = a or John has a wife which is Mary. It states Mary is the wife of John backwards. Otherwise, you'd have to have another variable (call it d) that represents "husband" so that the statement John is the husband of Mary becomes c = d OF a. In your case, I'd say HAS allows for the c = d OF a to be stated without the use of d, in the form of c HAS b = a. So using your HAS idea you have:

a = Mary
b = wife
c = John

HAS and OF are the logical operators used to relate them. Without HAS, you'd have:

d = husband

Thereby, allowing the same endpoint (c = a), but with different midpoints (b and d). Hope this makes logical sense.

The Intellector

Would it be reasonable to post about 5 pages to explain what the problem is?