IF, by trying to be aqll things to all mean, was 
rather a complex and awkward beast, and that a stripped-down version 
might be of greater utility. So the 'newKIF' is being designed to 
have a 'core' which is as simple as possible, and several 
'extensions' on top of the core which are kind of optional. The core 
is now pretty well understood, and it will be similar to KIF 3.0 but 
with a simpler syntax and a more powerful semantics, and will allow 
superficially "higher-order" operations like quantifying 