I finished reading it, and have comments on two topics.

1. I looked at "the top of the SUMO taxonomy" in section 1.4.
I disagree with the classification of a number of the concepts.
We should talk about the differences some time.

2. For your "hamburger example" in section 2,
answering your query does not require any logic
or theorem prover in mKR. See 3 below.
I chose to use the Unicon meaning of "every" (a generator).
Your CELT "every" is like the mKR "all".


3. the "hamburger problem" in mKR.

# John eats every hamburger that he sees.
John do see od hamburger = h1 done;
...
John do see od hamburger = hN done;
hamburgers := John do see od hamburger = ? done;
John do eat od hamburger = $hamburgers done;

# He observes a hamburger at Wendys.
he is John;
observe is see;
at space = Wendys;
he do observe od hamburger = hw done;
he do eat od hamburger = hw done;
hamburgers := John do see od hamburger = ? done; # now includes hw

# Who eats what?
? do eat od ? done;
# and the answer to that question is
John do eat od hamburger = $hamburgers done; # now includes hw


Dick McCullough
http://mKRmKE.org/
Ayn Rand do speak od mKR done;
knowledge := man do identify od existent done;
knowledge haspart proposition list;
mKE do enhance od "Real Intelligence" done;