B
    ²ô`  ã               @   sp   d 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dlmZmZ ddlmZmZmZmZ dS )	z@
Classes and interfaces for theorem proving and model building.
é    )ÚParallelProverBuilderÚParallelProverBuilderCommand)ÚMaceÚMaceCommand)ÚProver9ÚProver9Command)ÚResolutionProverÚResolutionProverCommand)ÚTableauProverÚTableauProverCommand)ÚReadingCommandÚCfgReadingCommandÚDrtGlueReadingCommandÚDiscourseTesterN)Ú__doc__Znltk.inference.apir   r   Znltk.inference.macer   r   Znltk.inference.prover9r   r   Znltk.inference.resolutionr   r	   Znltk.inference.tableaur
   r   Znltk.inference.discourser   r   r   r   © r   r   úF/home/dcms/DCMS/lib/python3.7/site-packages/nltk/inference/__init__.pyÚ<module>   s   