Starting work on adding tools for working with formal semantics to RLTK.
Merge branch 'master' into semantics
Merge branch 'master' into semantics
Merge branch 'semantics' of github.com:chriswailes/RLTK
Merge branch 'contractor' of github.com:chriswailes/RLTK
Merge branch 'master' of github.com:chriswailes/RLTK