I have made significant improvements in the
overview of MKR syntax
http://rhm.cdepot.net/doc/MKRintro.html
I recommend that you read this new version.
Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://rhm.cdepot.net/