Make the truth value merge function a pure virtual.
Merge pull request #593 from linas/mi

Make the truth value merge function a pure virtual.