----- Original Message -----
> JFS>> I discuss some of these and other issues in the papers
> > included in the Guided Tour of Ontology:
I just finished skimming through section 5. KR Ontology.
As mentioned in previous emails, the tabula rasa ontology
is a simpler representation of Peirce's basic properties.
This simplification extends throughout the concepts that
you have presented in section 5. I will expand on this
theme in the near future.
Another issue closely related to mKR-to-IKL translation
is the get_prop( ) function. As part of my current work
on simplifying the mKR grammar, I have implemented
this function, using the Unicon generator facility.
For any input stream, get_prop( ) returns the parse
of the next syntactically-complete mKR proposition.
This function can be used to retrieve all the
propositions of a context.