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
General cleanup of that/which/who/whose handling

Add plenty of whichspace to make it clear where the rule boundaries are.
Move around the examples so that they are next to the rules that apply
to them.
change that_adj to that
Add more explanatory notes
Merge remote-tracking branch 'origin/master' into testtsv2
Trim dependencies. Refs #103.