Support for communication with prover9 over socket
Support subsumption of transitive nouns
Minor update
Merge branch 'master' of https://github.com/pepijnkokke/pelican