opencog/opencog — pull request #924 by sebastianruder (2014-07-11 13:18:34+00:00)
Title: Added helper function for all-SVP-rule

Rule combines all-rule and SVP-rule and is required for syllogism testing