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.
Following this discussion, semantic emulation could be a very useful addition.