opencog/opencog — pull request #739 by sebastianruder (2014-05-12 16:13:48+00:00)
Title: Relex2logic readme

Cosmo, you should maybe have a look at the outstanding issues concerning the Satisfying Sets (those with #6XX) and see if any of them can be closed.