ó <¿CVc@sšdZddlmZmZddlmZmZddlmZm Z ddl m Z m Z ddl mZmZddlmZmZmZmZdS( s@ Classes and interfaces for theorem proving and model building. iÿÿÿÿ(tParallelProverBuildertParallelProverBuilderCommand(tMacet MaceCommand(tProver9tProver9Command(tResolutionProvertResolutionProverCommand(t TableauProvertTableauProverCommand(tReadingCommandtCfgReadingCommandtDrtGlueReadingCommandtDiscourseTesterN(t__doc__tnltk.inference.apiRRtnltk.inference.maceRRtnltk.inference.prover9RRtnltk.inference.resolutionRRtnltk.inference.tableauRR tnltk.inference.discourseR R R R (((si/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/__init__.pyt s