Ambiguity of |=

Dear All,

I have been continuing reading the cogai material to get up to speed. I
have a comment concerning "|=". Maybe my comments is only due to not having
learned enough about cogai. Let me know if that is the case.

Here is my comment. On slide 8 here
<https://www.w3.org/2022/02/16-DKG-22-Raggett.pdf>, the meaning of "|=" is
described as *includes*. Consider the following example:

     (1) Flowers-of-England |= Daffodils .

Using set-theory, (1) could either mean:
    (2) the set Daffodils is a subset of the set Flowers-of-England
or
    (3) the set Flowers-of-England overlaps with the set Daffodils.

In (2), all daffodils are also flowers of England. In (3), some daffodils,
but possibly not all, are also flowers of England.

I used set-theoretic terms to make the distinction evident, but the
ambiguity is not due to set-theory (I could express it also without
referring to sets).

Suggestion: make the description of "|=" clearer (e.g. choose between
*is-subset-of* and *overlaps*).


Thanks very much,
Matteo

P.S. Is it better to raise issues like this here or on the issue tracker on
GitHub?