§
    ýìNg  ã                   ór   — 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   © ó    úS/var/www/html/ai-engine/env/lib/python3.11/site-packages/nltk/inference/__init__.pyú<module>r      sÎ   ððð ð SÐ RÐ RÐ RÐ RÐ RÐ RÐ Rðð ð ð ð ð ð ð ð ð ð ð ð 2Ð 1Ð 1Ð 1Ð 1Ð 1Ð 1Ð 1Ø :Ð :Ð :Ð :Ð :Ð :Ð :Ð :Ø OÐ OÐ OÐ OÐ OÐ OÐ OÐ OØ FÐ FÐ FÐ FÐ FÐ FÐ FÐ FÐ FÐ Fr   