ó <¿CVc@s{dZddlmZddlZddlZdefd„ƒYZdefd„ƒYZdefd „ƒYZd efd „ƒYZ d efd „ƒYZ defd„ƒYZ de e fd„ƒYZ de e fd„ƒYZ defd„ƒYZdee fd„ƒYZdee fd„ƒYZdeefd„ƒYZde e fd„ƒYZdejfd„ƒYZdS( s Interfaces and base classes for theorem provers and model builders. ``Prover`` is a standard interface for a theorem prover which tries to prove a goal from a list of assumptions. ``ModelBuilder`` is a standard interface for a model builder. Given just a set of assumptions. the model builder tries to build a model for the assumptions. Given a set of assumptions and a goal *G*, the model builder tries to find a counter-model, in the sense of a model that will satisfy the assumptions plus the negation of *G*. iÿÿÿÿ(tprint_functionNtProvercBs2eZdZdded„Zdded„ZRS(sŸ Interface for trying to prove a goal from assumptions. Both the goal and the assumptions are constrained to be formulas of ``logic.Expression``. cCs|j|||ƒdS(sX :return: Whether the proof was successful or not. :rtype: bool i(t_prove(tselftgoalt assumptionstverbose((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pytprovescCs tƒ‚dS(s{ :return: Whether the proof was successful or not, along with the proof :rtype: tuple: (bool, str) N(tNotImplementedError(RRRR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR%sN(t__name__t __module__t__doc__tNonetFalseRR(((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRst ModelBuildercBs2eZdZdded„Zdded„ZRS(sá Interface for trying to build a model of set of formulas. Open formulas are assumed to be universally quantified. Both the goal and the assumptions are constrained to be formulas of ``logic.Expression``. cCs|j|||ƒdS(sx Perform the actual model building. :return: Whether a model was generated :rtype: bool i(t _build_model(RRRR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyt build_model3scCs tƒ‚dS(s¤ Perform the actual model building. :return: Whether a model was generated, and the model itself :rtype: tuple(bool, sem.Valuation) N(R(RRRR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR;sN(R R R R R RR(((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR,stTheoremToolCommandcBs>eZdZd„Zed„Zd„Zd„Zd„ZRS(sh This class holds a goal and a list of assumptions to be used in proving or model building. cCs tƒ‚dS(s¢ Add new assumptions to the assumption list. :param new_assumptions: new assumptions :type new_assumptions: list(sem.Expression) N(R(Rtnew_assumptions((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pytadd_assumptionsIscCs tƒ‚dS(s) Retract assumptions from the assumption list. :param debug: If True, give warning when ``retracted`` is not present on assumptions list. :type debug: bool :param retracted: assumptions to be retracted :type retracted: list(sem.Expression) N(R(Rt retractedtdebug((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pytretract_assumptionsRs cCs tƒ‚dS(sX List the current assumptions. :return: list of ``Expression`` N(R(R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR^scCs tƒ‚dS(sB Return the goal :return: ``Expression`` N(R(R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRfscCs tƒ‚dS(s< Print the list of the current assumptions. N(R(R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pytprint_assumptionsns( R R R RR RRRR(((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRDs   t ProverCommandcBs/eZdZed„Zed„Zd„ZRS(s¢ This class holds a ``Prover``, a goal, and a list of assumptions. When prove() is called, the ``Prover`` is executed with the goal and assumptions. cCs tƒ‚dS(s+ Perform the actual proof. N(R(RR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRzscCs tƒ‚dS(sp Return the proof string :param simplify: bool simplify the proof? :return: str N(R(Rtsimplify((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pytproof€scCs tƒ‚dS(sF Return the prover object :return: ``Prover`` N(R(R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyt get_proverˆs(R R R R RtTrueRR(((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRus  tModelBuilderCommandcBs/eZdZed„Zdd„Zd„ZRS(s· This class holds a ``ModelBuilder``, a goal, and a list of assumptions. When build_model() is called, the ``ModelBuilder`` is executed with the goal and assumptions. cCs tƒ‚dS(s Perform the actual model building. :return: A model if one is generated; None otherwise. :rtype: sem.Valuation N(R(RR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR–scCs tƒ‚dS(s… Return a string representation of the model :param simplify: bool simplify the proof? :return: str N(R(Rtformat((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pytmodelžscCs tƒ‚dS(sS Return the model builder object :return: ``ModelBuilder`` N(R(R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pytget_model_builder§sN(R R R R RR RR (((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRs  tBaseTheoremToolCommandcBsMeZdZddd„Zd„Zed„Zd„Zd„Z d„Z RS(sh This class holds a goal and a list of assumptions to be used in proving or model building. cCs7||_|sg|_nt|ƒ|_d|_dS(sé :param goal: Input expression to prove :type goal: sem.Expression :param assumptions: Input expressions to use as assumptions in the proof. :type assumptions: list(sem.Expression) N(t_goalt _assumptionstlistR t_result(RRR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyt__init__´s    cCs|jj|ƒd|_dS(s¢ Add new assumptions to the assumption list. :param new_assumptions: new assumptions :type new_assumptions: list(sem.Expression) N(R#textendR R%(RR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRÆscsutˆƒ‰tt‡fd†|jƒƒ}|r_||jkr_ttdƒƒ|jƒn||_d|_dS(s) Retract assumptions from the assumption list. :param debug: If True, give warning when ``retracted`` is not present on assumptions list. :type debug: bool :param retracted: assumptions to be retracted :type retracted: list(sem.Expression) cs |ˆkS(N((ta(R(sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pytÛss&Assumptions list has not been changed:N( tsetR$tfilterR#tprinttWarningRR R%(RRRt result_list((Rsd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRÐs !  cCs|jS(sX List the current assumptions. :return: list of ``Expression`` (R#(R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRäscCs|jS(sB Return the goal :return: ``Expression`` (R"(R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRìscCs%x|jƒD]}t|ƒq WdS(s< Print the list of the current assumptions. N(RR,(RR(((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRôsN( R R R R R&RR RRRR(((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR!¯s   tBaseProverCommandcBsJeZdZddd„Zed„Zed„Zed„Z d„Z RS(s¢ This class holds a ``Prover``, a goal, and a list of assumptions. When prove() is called, the ``Prover`` is executed with the goal and assumptions. cCs)||_tj|||ƒd|_dS(s— :param prover: The theorem tool to execute with the assumptions :type prover: Prover :see: ``BaseTheoremToolCommand`` N(t_proverR!R&R t_proof(RtproverRR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR&s cCsI|jdkrB|jj|jƒ|jƒ|ƒ\|_|_n|jS(sh Perform the actual proof. Store the result to prevent unnecessary re-proving. N(R%R R0RRRR1(RR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRs  cCs5|jdkrtdƒ‚n|j|j|ƒSdS(sp Return the proof string :param simplify: bool simplify the proof? :return: str s.You have to call prove() first to get a proof!N(R%R t LookupErrortdecorate_proofR1(RR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRscCs|S(s² Modify and return the proof string :param proof_string: str the proof to decorate :param simplify: bool simplify the proof? :return: str ((Rt proof_stringR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR4$scCs|jS(N(R0(R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR-sN( R R R R R&R RRRR4R(((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR/üs  tBaseModelBuilderCommandcBsJeZdZddd„Zed„Zdd„Zdd„Zd„Z RS(s¸ This class holds a ``ModelBuilder``, a goal, and a list of assumptions. When build_model() is called, the ``ModelBuilder`` is executed with the goal and assumptions. cCs)||_tj|||ƒd|_dS(s© :param modelbuilder: The theorem tool to execute with the assumptions :type modelbuilder: ModelBuilder :see: ``BaseTheoremToolCommand`` N(t _modelbuilderR!R&R t_model(Rt modelbuilderRR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR&7s cCsI|jdkrB|jj|jƒ|jƒ|ƒ\|_|_n|jS(si Attempt to build a model. Store the result to prevent unnecessary re-building. N(R%R R7RRRR8(RR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRDs  cCs5|jdkrtdƒ‚n|j|j|ƒSdS(s… Return a string representation of the model :param simplify: bool simplify the proof? :return: str s4You have to call build_model() first to get a model!N(R%R R3t_decorate_modelR8(RR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRPscCs|S(s  :param valuation_str: str with the model builder's output :param format: str indicating the format for displaying :return: str ((Rt valuation_strR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR:]scCs|jS(N(R7(R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR esN( R R R R R&R RRR:R (((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR61s  tTheoremToolCommandDecoratorcBsGeZdZd„Zd„Zd„Zd„Zed„Zd„Z RS(s A base decorator for the ``ProverCommandDecorator`` and ``ModelBuilderCommandDecorator`` classes from which decorators can extend. cCs||_d|_dS(sD :param command: ``TheoremToolCommand`` to decorate N(t_commandR R%(Rtcommand((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR&ns cCs |jjƒS(N(R=R(R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRxscCs |jjƒS(N(R=R(R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR{scCs|jj|ƒd|_dS(N(R=RR R%(RR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR~scCs |jj||ƒd|_dS(N(R=RR R%(RRR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR‚scCs|jjƒdS(N(R=R(R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR†s( R R R R&RRRR RR(((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR<is    tProverCommandDecoratorcBsDeZdZd„Zed„Zed„Zed„Zd„Z RS(su A base decorator for the ``ProverCommand`` class from which other prover command decorators can extend. cCstj||ƒd|_dS(sE :param proverCommand: ``ProverCommand`` to decorate N(R<R&R R1(Rt proverCommand((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR&scCsR|jdkrK|jƒ}|j|jƒ|jƒ|ƒ\|_|_n|jS(N(R%R RRRRR1(RRR2((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR™s   cCs5|jdkrtdƒ‚n|j|j|ƒSdS(sp Return the proof string :param simplify: bool simplify the proof? :return: str s.You have to call prove() first to get a proof!N(R%R R3R4R1(RR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR¡scCs|jj||ƒS(s² Modify and return the proof string :param proof_string: str the proof to decorate :param simplify: bool simplify the proof? :return: str (R=R4(RR5R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR4¬scCs |jjƒS(N(R=R(R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRµs( R R R R&R RRRR4R(((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR?Šs   tModelBuilderCommandDecoratorcBsDeZdZd„Zed„Zdd„Zdd„Zd„Z RS(s{ A base decorator for the ``ModelBuilderCommand`` class from which other prover command decorators can extend. cCstj||ƒd|_dS(sQ :param modelBuilderCommand: ``ModelBuilderCommand`` to decorate N(R<R&R R8(RtmodelBuilderCommand((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR&¾scCsR|jdkrK|jƒ}|j|jƒ|jƒ|ƒ\|_|_n|jS(si Attempt to build a model. Store the result to prevent unnecessary re-building. N(R%R R RRRR8(RRR9((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRÈs   cCs5|jdkrtdƒ‚n|j|j|ƒSdS(s… Return a string representation of the model :param simplify: bool simplify the proof? :return: str s4You have to call build_model() first to get a model!N(R%R R3R:R8(RR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRÕscCs|jj||ƒS(sË Modify and return the proof string :param valuation_str: str with the model builder's output :param format: str indicating the format for displaying :return: str (R=R:(RR;R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR:âscCs |jjƒS(N(R=R(R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR ësN( R R R R&R RR RR:R (((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRA¹s  tParallelProverBuildercBsDeZdZd„Zdded„Zdded„Zd„ZRS(s This class stores both a prover and a model builder and when either prove() or build_model() is called, then both theorem tools are run in parallel. Whichever finishes first, the prover or the model builder, is the result that will be used. cCs||_||_dS(N(R0R7(RR2R9((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR&ös cCs|j|||ƒdfS(Nt(t_run(RRRR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRúscCs|j|||ƒ dfS(NRD(RE(RRRR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRýscs°t‡‡‡‡fd†ˆdƒ}t‡‡‡‡fd†ˆdƒ}|jƒ|jƒx|jƒrz|jƒrzq_W|jdk r‘|jS|jdk r¨|j SdSdS(NcsˆjjˆˆˆƒS(N(R0R((RRRR(sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR)stTPcsˆjjˆˆˆƒS(N(R7R((RRRR(sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR)stMB(tTheoremToolThreadtstarttisAlivetresultR (RRRRt tp_threadt mb_thread((RRRRsd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyREs$$  N( R R R R&R R RRRE(((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRCïs  tParallelProverBuilderCommandcBs>eZdZddd„Zed„Zed„Zd„ZRS(s¥ This command stores both a prover and a model builder and when either prove() or build_model() is called, then both theorem tools are run in parallel. Whichever finishes first, the prover or the model builder, is the result that will be used. Because the theorem prover result is the opposite of the model builder result, we will treat self._result as meaning "proof found/no model found". cCs0tj||||ƒtj||||ƒdS(N(R/R&R6(RR2R9RR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR&scCs |j|ƒS(N(RE(RR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR!scCs|j|ƒ S(N(RE(RR((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR$scs³t‡‡fd†ˆdƒ}t‡‡fd†ˆdƒ}|jƒ|jƒx|jƒrn|jƒrnqSW|jdk r|jˆ_n|jdk r¬|j ˆ_nˆjS(NcstjˆˆƒS(N(R/R((RR(sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR))sRFcstjˆˆƒS(N(R6R((RR(sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR)*sRG(RHRIRJRKR R%(RRRLRM((RRsd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRE's  N( R R R R R&R RRRE(((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRNs    RHcBs,eZdd„Zd„Zed„ƒZRS(cCs8tjj|ƒ||_d|_||_||_dS(N(t threadingtThreadR&R=R R%t_verboset_name(RR>Rtname((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyR&;s    cCs€yK|jƒ|_|jrJtd|j|jtjtjƒƒfƒnWn.tk r{}t|ƒtd|jƒnXdS(Ns'Thread %s finished with result %s at %ssThread %s completed abnormally(R=R%RQR,RRttimet localtimet Exception(Rte((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pytrunBs - cCs|jS(N(R%(R((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRKLsN(R R R R&RXtpropertyRK(((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyRH:s  (R t __future__RRORTtobjectRRRRRR!R/R6R<R?RARCRNRPRH(((sd/private/var/folders/cc/xm4nqn811x9b50x1q_zpkmvdjlphkp/T/pip-build-FUwmDn/nltk/nltk/inference/api.pyts"  1M58!/6$'