Defined all-SVP-rule combining all-rule and SVP-rule
Defined all-SVP-rule combining all-rule and SVP-rule

Is needed for testing syllogisms

AmeBel/relex,virneo/relex,anitzkin/relex,anitzkin/relex,ainishdave/relex,anitzkin/relex,leungmanhin/relex,williampma/relex,ainishdave/relex,williampma/relex,ainishdave/relex,AmeBel/relex,virneo/relex,linas/relex,rodsol/relex,leungmanhin/relex,ainishdave/relex,opencog/relex,linas/relex,opencog/relex,williampma/relex,virneo/relex,opencog/relex,williampma/relex,anitzkin/relex,virneo/relex,AmeBel/relex,leungmanhin/relex,anitzkin/relex,rodsol/relex,linas/relex,rodsol/relex,rodsol/relex