Added helper function for all-SVP-rule

Rule combines all-rule and SVP-rule and is required for syllogism testing; together with https://github.com/opencog/relex/pull/115. @AmeBel, could you review this?