ThatRule preprocessing proposal
minor corrections
works with changes from #920
more comments
Merge pull request #922 from williampma/ThatRule

that-rule preprocessing proposal