Difference between revisions of "Technical issues to be resolved in the reasoner and relation semantics"