ThatRule preprocessing proposal
minor corrections
works with changes from #920
Added helper function for all-SVP-rule

Rule combines all-rule and SVP-rule and is required for syllogism testing
more comments
Merge pull request #922 from williampma/ThatRule

that-rule preprocessing proposal
Added example to all-SVP-rule
Put created atoms in a list
Merge pull request #924 from sebastianruder/for_all_rule

Added helper function for all-SVP-rule