
    kh                     p    d Z ddlmZmZ ddlmZmZmZmZ ddl	m
Z
mZ ddlmZmZ ddlmZmZ ddlmZmZ y)	z@
Classes and interfaces for theorem proving and model building.
    )ParallelProverBuilderParallelProverBuilderCommand)CfgReadingCommandDiscourseTesterDrtGlueReadingCommandReadingCommand)MaceMaceCommand)Prover9Prover9Command)ResolutionProverResolutionProverCommand)TableauProverTableauProverCommandN)__doc__nltk.inference.apir   r   nltk.inference.discourser   r   r   r   nltk.inference.macer	   r
   nltk.inference.prover9r   r   nltk.inference.resolutionr   r   nltk.inference.tableaur   r        S/opt/mcp/mcp-sentiment/venv/lib/python3.12/site-packages/nltk/inference/__init__.py<module>r      s+    S  2 : O F Fr   