integrating the output of the inference engine with the wiki

Currently the infer command simply creates a table of infered relations. I do not think that is good enough. Rather, we should attach properties to the various subjects of those infered relations. Then we can easily access the results, and the change to name resolution will be small and fast.

As it stands, name resolution would need to search all the many rows created by the inference engine. And that's not good.

Now, I really want to support multiple inferencing systems, and this becomes easy when attaching the output to the subjects. Then name resolution has immediate access to all the inferences which apply to that subject. This is important, as we want to keep the infoset of each inferencing system reasonably small, though multiple inferencing systems may have considerable overlap.

Fun stuff!

Bill