³ò bKc@sdddkZddklZlZddkZddklZddklZl Z ddk l Z ddk l Z ddklZddklZdd klZlZdd klZd efd „ƒYZd efd„ƒYZdefd„ƒYZdefd„ƒYZd„Zed„Zed„Zdd„Z d„Z!e"djo e!ƒndS(iÿÿÿÿN(tand_tadd(tshow_cfg(t root_semrept Expression(t MaceCommand(tProver9Command(t RegexpTagger(t MaltParser(tresolve_anaphoratAnaphoraResolutionException(tDrtGluetReadingCommandcBs#eZd„Zd„Zd„ZRS(cCs tƒ‚dS(sV @param sentence: the sentence to read @type sentence: C{str} N(tNotImplementedError(tselftsentence((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pytparse_to_readings>scCs|S(sT This method should be used to handle dependencies between readings such as resolving anaphora. @param sentence_readings: readings to process @type sentence_readings: C{list} of C{Expression} @return: the list of readings after processing @rtype: C{list} of C{Expression} ((Rtsentence_readings((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pytprocess_threadEs cCs tƒ‚dS(s« @param readings: readings to combine @type readings: C{list} of C{Expression} @return: one combined reading @rtype: C{Expression} N(R (Rtreadings((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pytcombine_readingsQs(t__name__t __module__RRR(((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyR =s  tCfgReadingCommandcBs&eZed„Zd„Zd„ZRS(cCs?|djo d|_n ||_tii|iƒ|_dS(sn @parameter gramfile: name of file where grammar can be loaded @type gramfile: C{str} s%grammars/book_grammars/discourse.fcfgN(tNonet _gramfiletnltktparset load_parsert_parser(Rtgramfile((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyt__init__\s   cCsC|iƒ}|ii|ƒ}g}|D]}|t|ƒq)~S(s(@see: ReadingCommand.parse_to_readings()(tsplitRt nbest_parseR(RRttokensttreest_[1]ttree((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyRgs cCs tt|ƒS(s'@see: ReadingCommand.combine_readings()(treduceR(RR((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyRms(RRRRRR(((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyR[s tDrtGlueReadingCommandcBs5eZeeed„Zd„Zd„Zd„ZRS(cCs9|djo d}ntd|d|d|ƒ|_dS(s¿ @param semtype_file: name of file where grammar can be loaded @param remove_duplicates: should duplicates be removed? @param depparser: the dependency parser sdrt_glue.semtypet semtype_filetremove_duplicatest depparserN(RR t_glue(RR(R)R*((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyRss    cCs|ii|ƒS(s(@see: ReadingCommand.parse_to_readings()(R+tparse_to_meaning(RR((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyR€scCs2y|i|ƒgSWntj o gSnXdS(s%@see: ReadingCommand.process_thread()N(RR (RR((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyR„scCstt|ƒ}t|iƒƒS(s'@see: ReadingCommand.combine_readings()(R&RR tsimplify(RRtthread_reading((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyR‹s(RRRtFalseRRRR(((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyR'rs   tDiscourseTestercBséeZdZeed„Zd„Zeed„Zed„Z d„Z d„Z d„Z d„Z ed „Zeed „Zeeeeed „Zed „Zeed „Zeeed„Zed„Zd„Zed„ƒZRS(s3 Check properties of an ongoing discourse. cCsâ||_tg}t|ƒD]\}}|d||fq~ƒ|_d|_h|_|djotƒ|_n ||_h|_ h|_ |dj o5x%|D]}t |t ƒpt ‚q§W||_n g|_dS(s Initialize a C{DiscourseTester}. @parameter input: the discourse sentences @type input: C{list} of C{str} @parameter background: Formulas which express background assumptions @type background: C{list} of L{logic.Expression}. ss%sN(t_inputtdictt enumeratet _sentencesRt_modelst _readingsRt_reading_commandt_threadst_filtered_threadst isinstanceRtAssertionErrort _background(Rtinputtreading_commandt backgroundR$titsentte((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyR•s @        cCs:x3t|iiƒƒD]}d||i|fGHqWdS(sI Display the list of sentences in the current discourse. s%s: %sN(tsortedR4tkeys(Rtid((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyt sentences³sc CsX|oÏ|idtƒx¼t|iiƒƒD]¡}g}|i|ƒD]\}}||qG~}||i7}x[|i|ƒD]J} td| d|ƒ} | i ƒo"d|t | ƒfGHd|GHq€q€Wq-Wn|i i |ƒt g} t|i ƒD]\} } | d| | fqý~ ƒ|_|o$|idtƒ|idtƒndS( sã Add a sentence to the current discourse. Updates C{self._input} and C{self._sentences}. @parameter sentence: An input sentence @type sentence: C{str} @parameter informchk: if C{True}, check that the result of adding the sentence is thread-informative. Updates C{self._readings}. @parameter consistchk: if C{True}, check that the result of adding the sentence is thread-consistent. Updates C{self._readings}. tverbosetgoalt assumptionss!Sentence '%s' under reading '%s':s'Not informative relative to thread '%s'ss%stshowN(RR/RCR8RDtexpand_threadsR<t _get_readingsRtprovetstrR1tappendR2R3R4tmodels(RRt informchkt consistchkttidR$tridtreadingRIt sent_readingttpt_[2]R@RA((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyt add_sentenceºs" 0  Cc Cs²y|ii|ƒWn*tj od|GH|iƒdSnXtg}t|iƒD]\}}|d||fqX~ƒ|_|idt ƒ|odGH|iƒndS(s2 Remove a sentence from the current discourse. Updates C{self._input}, C{self._sentences} and C{self._readings}. @parameter sentence: An input sentence @type sentence: C{str} @parameter verbose: If C{True}, report on the updated list of sentences. sJRetraction failed. The sentence '%s' is not part of the current discourse:ss%sRGsCurrent sentences are N( R1tremovet ValueErrorRFRR2R3R4RR/(RRRGR$R@RA((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pytretract_sentenceÙs    CcCst|iiƒdS(sJ Print out the grammar in use for parsing input sentences N(RR7R(R((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pytgrammarîscCs|ii|ƒS(s} Build a list of semantic readings for a sentence. @rtype: C{list} of L{logic.Expression}. (R7R(RR((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyRLøscCsŒh|_x||iiƒD]k\}}|i|ƒ}tg}t|ƒD])\}}|d||f|iƒfqH~ƒ|i| Illustrate the various methods of C{DiscourseTester} s A boxer walkssEvery boxer chases a girlRttd1sJohn is a boxersA student dancessEvery student is a personsNo person dancesRRRGsA person dancesRQsVincent is a boxersFido is a boxersVincent is marrieds Fido barksRpiÿÿÿÿNs&/grammars/book_grammars/background.fol( R0RPRFRRdRYR\t nltk.datatdatatloadRƒR/R?(R>tdtRR?((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pytdiscourse_demoýsZ                  cCsatddg|ƒ}|iƒH|iƒH|iƒH|idtƒH|idtdtƒdS(s> Illustrate the various methods of C{DiscourseTester} severy dog chases a boyshe runsRqRpN(R0RPRFRRd(R>R›((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pytdrt_discourse_demo1s     icCs d|GHdS(NRl((tnum((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pyRzBscCsNtƒtdddddgƒ}td |ƒ}ttd td |ƒƒdS(Ns^(chases|runs)$tVBs^(a)$tex_quants ^(every)$t univ_quants ^(dog|boy)$tNNs^(he)$tPRPttaggerR)R*(s^(chases|runs)$RŸ(s^(a)$R (s ^(every)$R¡(s ^(dog|boy)$sNN(s^(he)$R£(RœRRRR'R/(R¤R*((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pytdemoEs t__main__(#tostoperatorRRRR˜RRŒRRtmaceRtprover9Rtnltk.tagRtnltk.parse.maltRt nltk.sem.drtR R t nltk.sem.glueR tobjectR RR'R0R–RRœRRzR¥R(((s./p/zhu/06/nlp/nltk/nltk/inference/discourse.pys s,  (ÿS  4