o
    rZŽh  ã                   @   sp   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 dS )	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__Znltk.inference.apir   r   Znltk.inference.discourser   r   r   r   Znltk.inference.macer   r	   Znltk.inference.prover9r
   r   Znltk.inference.resolutionr   r   Znltk.inference.tableaur   r   © r   r   úF/var/www/auris/lib/python3.10/site-packages/nltk/inference/__init__.pyÚ<module>   s   	