nltk.inference.tableau module ============================= .. automodule:: nltk.inference.tableau :members: :undoc-members: :show-inheritance: