Adding inference rules and grammar
Merge branch 'master' of github.com:heathermiller/papers-documents