Ë JL iãóp—dZddlmZmZddlmZmZmZmZddl m Z m Z ddl m Z mZddlmZmZddlmZmZy) 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.apirrÚnltk.inference.discourserrrrÚnltk.inference.macer r Únltk.inference.prover9r r Únltk.inference.resolutionr rÚnltk.inference.tableaurr©óú]/mnt/ssd/data/python-lab/Trading/venv/lib/python3.12/site-packages/nltk/inference/__init__.pyúrs+ðñ÷S÷ó÷ 2ß:ßOßFÐFr