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

Is needed for testing syllogisms
Added comment to for ALLRULE2 as mentioned by @ruiting
Merge pull request #115 from sebastianruder/for_all_rule

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