+
    ÖÇÜh  ã                   ór   € R t ^ RIHtHt ^ RIHtHtHtHt ^ RI	H
t
Ht ^ RIHtHt ^ RIHtHt ^ RIHtHt R# )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   © ó    Ú9/usr/lib/python3/dist-packages/nltk/inference/__init__.pyÚ<module>r      s+   ðñ÷ S÷ó ÷ 2ß :ß Oß FÑ Fr   