opencog/relex — pull request #115 by sebastianruder (2014-07-11 13:19:21+00:00)
Title: Defined all-SVP-rule combining all-rule and SVP-rule

Is needed for testing syllogisms