Following [this discussion](https://github.com/QuMuLab/python-nnf/issues/7#issuecomment-670661445), [semantic emulation](http://www.semantic-web-journal.net/system/files/swj236_2.pdf) could be a very useful addition.
