ó
ù`]c           @   sš   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(	   s@   
Classes and interfaces for theorem proving and model building.
iÿÿÿÿ(   t   ParallelProverBuildert   ParallelProverBuilderCommand(   t   Macet   MaceCommand(   t   Prover9t   Prover9Command(   t   ResolutionProvert   ResolutionProverCommand(   t   TableauProvert   TableauProverCommand(   t   ReadingCommandt   CfgReadingCommandt   DrtGlueReadingCommandt   DiscourseTesterN(   t   __doc__t   nltk.inference.apiR    R   t   nltk.inference.maceR   R   t   nltk.inference.prover9R   R   t   nltk.inference.resolutionR   R   t   nltk.inference.tableauR   R	   t   nltk.inference.discourseR
   R   R   R   (    (    (    s6   lib/python2.7/site-packages/nltk/inference/__init__.pyt   <module>   s   