o
    ¹i  ã                   @   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__Ú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   © r   r   úR/var/www/edux/Edux_v2/venv/lib/python3.10/site-packages/nltk/inference/__init__.pyÚ<module>   s   	