Technical issues to be resolved in the reasoner and relation semantics