 rejecting KIF when we started to develop
&gt; EXIST. However,
&gt; I am aware that EXIST could be improved too from this point of view.

PJ: I think that "understandability" should be a criterion in selecting a
language, though it is subjective...People tend to like what they've
developed or already learned...

PJ: This reminds me of the issue that is often discussed regarding the ease
of understandability and expressiveness of predicate calculus vs. natural
language -- In particular, John Sowa has written