³ò
4ÒÇIc           @   ss   d  Z  d d k Td d k Td d k Td d k Td d k Td d k Td d d d d d d	 d
 d d d d d g Z d S(   s@   
Classes and interfaces for theorem proving and model building.
iÿÿÿÿ(   t   *t   Prover9t   Prover9Commandt   TableauProvert   TableauProverCommandt   ResolutionProvert   ResolutionProverCommandt   Macet   MaceCommandt   ParallelProverBuilderCommandt   ReadingCommandt   CfgReadingCommandt   DrtGlueReadingCommandt   DiscourseTesterN(   t   __doc__t   apit   macet   prover9t
   resolutiont   tableaut	   discourset   __all__(    (    (    s-   /p/zhu/06/nlp/nltk/nltk/inference/__init__.pys   <module>   s   





