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

Is needed for testing syllogisms