We assume the reader is familiar with the knowledge representation literature (for a summary, see Brachman and Levesque 2004), and describe only those parts of the system that differ from the mainstream assumptions.
we collapse attribution, unary predication, and IS A links in a single link type '0' (as in Figs.