Ë
    Øªg  ã                   ó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   © ó    úL/var/www/openai/venv/lib/python3.12/site-packages/nltk/inference/__init__.pyÚ<module>r      s+   ðñ÷ S÷ó ÷ 2ß :ß Oß FÐ Fr   