8dhKc @sddkZddkTyDddklZddklZddklZddklZWne j onXde fdYZ d e fd YZ d e efd YZd Zde efdYZdeefdYZdeefdYZdeefdYZdeefdYZde efdYZde efdYZde efdYZ de e!fdYZ"d e e#fd!YZ$d"e e%fd#YZ&d$e e'fd%YZ(d&e fd'YZ)d(e e*fd)YZ+d*e,e efd+YZ-d,e.fd-YZ/gd.Z0d/e fd0YZ1d1e2fd2YZ3d3Z4d4Z5e6d5jo e4ndS(6iN(t*(tCanvas(tTk(tFont(tin_idlet DrtTokenscBsVeZdZdZdZdZdZeeegZei eZ ei egeZ RS(tDRSt+tPROt[t]( t__name__t __module__RtDRS_CONCtPRONOUNt OPEN_BRACKETt CLOSE_BRACKETtPUNCTtTokenstSYMBOLStTOKENS(((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRs t AbstractDrscBseZdZdZdZdZdZdZdZe dZ dZ e e Z e d Zd Zed Zd Zd ZdZdZdZRS(s` This is the base abstract DRT Expression from which every DRT Expression extends. cCs t||S(N(tDrtApplicationExpression(tselftother((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pytapplyto,scCs t|S(N(tDrtNegatedExpression(R((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyt__neg__/scCs tdS(N(tNotImplementedError(RR((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyt__and__2scCs$t|tptt||S(N(t isinstanceRtAssertionErrortDrtOrExpression(RR((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyt__or__5scCs$t|tptt||S(N(RRRtDrtImpExpression(RR((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyt__gt__9scCs$t|tptt||S(N(RRRtDrtIffExpression(RR((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyt__lt__=scCsKt|tpt|ii}|ii}|i||S(s Pass the expression (self <-> other) to the theorem prover. If the prover says it is valid, then the self and other are equal. @param other: an C{AbstractDrs} to check equality against @param prover: a C{nltk.inference.api.Prover} (RRRtsimplifytfolt tp_equals(RRtprovertf1tf2((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR(AscCstd|iidS(Ns#'%s' object has no attribute 'type'(tAttributeErrort __class__R (R((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyt _get_typeOscCs tdS(N(R(Rt signature((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyt typecheckTscCs t||S(N(tConcatenationDRS(RR((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyt__add__WscCs tdS(s Return the set of discourse referents in this DRS. @param recursive: C{boolean} Also find discourse referents in subterms? @return: C{list} of C{Variable}s N(R(Rt recursive((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pytget_refsZscCsLt|to<t|ito)|iiitijot|it S(s Is self of the form "PRO(x)"? ( RRtfunctiontDrtAbstractVariableExpressiontvariabletnameRRtargumenttDrtIndividualVariableExpression(R((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pytis_pronoun_functionbscCs t||S(N(tDrtEqualityExpression(Rtfirsttsecond((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pytmake_EqualityExpressioniscCs t|S(N(tDrtVariableExpression(RR7((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pytmake_VariableExpressionlscCs t|S(N(tresolve_anaphora(R((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRBoscCst|idS(N(t DrsDrawertdraw(R((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRDrs(R R t__doc__RRRR!R#R%tNoneR(R.tpropertyttypeR0R2tFalseR4R;R?RARBRD(((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR&s$                RcBsweZdZdZedZdZedZedZ dZ dZ dZ d Z eid ZRS( s%A Discourse Representation Structure.cCs||_||_dS(s @param refs: C{list} of C{DrtIndividualVariableExpression} for the discourse referents @param conds: C{list} of C{Expression} for the conditions N(trefstconds(RRJRK((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyt__init__xs c Cs}y|ii|}|p|Sn[t|i| |ig|i|dg}|iD]}||i||tqX~SWntj oxt|i|i @D]}t |}t |} |ii|}t|i| |g|i|dg} |iD]}| |i|| tq ~ }qWt|ig} |iD]}| |i|||qN~ SnXdS(s_Replace all instances of variable v with expression E in self, where v is free in self.iN( RJtindexRR7RKtreplacetTruet ValueErrortsettfreetunique_variableR@( RR7t expressiont replace_boundtit_[1]tcondtreftnewvartnewvarext_[2]t_[3]((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRNs$&8  #3 cCsMttig}|iD]}||iq~t}|t|iS(s@see: Expression.variables()(treducetoperatortor_RKt variablesRQRJ(RRWtct conds_vars((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRas 3cCsPttig}|iD]}||i|q~t}|t|iS(s@see: Expression.free()(R^R_R`RKRRRQRJ(Rt indvar_onlyRWRbt conds_free((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRRs 6cCs]|oKttig}|iD]}||itq~g}|i|Sn|iSdS(s#@see: AbstractExpression.get_refs()N(R^R_taddRKR4RORJ(RR3RWRbt cond_refs((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR4s  3cCs;t|g}|i|iD]}|||q~|S(s@see: Expression.visit()(R^RJRK(RR5t combinatortdefaultRWte((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pytvisitscCs4t|ig}|iD]}||iq~S(N(RRJRKR&(RRWRX((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR&scCs|iptdnttg}|iD]}||iq.~}x-|idddD]}t||}qdW|S(Ns-Cannot convert DRS with no conditions to FOL.i(RKt ExceptionR^t AndExpressionR'RJtExistsExpression(RRWRbtaccumRY((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR's 3cCst|tot|it|ijod|}xGt|i|iD]0\}}|i|}|i||t}qKW|i|ijSqnt S(s}Defines equality modulo alphabetic variance. If we are comparing \x.M and \y.N, then check equality of M and N[x/y].( RRtlenRJtzipRARNRORKRI(RRtconverted_othertr1tr2tvarex((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyt__eq__s c Cs|tijo|ii|Snlddig}|iD]}|t|q>~dig}|iD]}||i|qn~fSdS(Ns ([%s],[%s])t,s, (RtPROVER9R'tstrtjoinRJRK(RtsyntaxRWtrR\Rb((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRys3(R R RERLRIRNRaRORRR4RkR&R'RvRtNLTKRy(((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRvs       cCsht|iot|SnGt|iot|Sn)t|iot|Sn t|SdS(s This is a factory method that instantiates and returns a subtype of C{DrtAbstractVariableExpression} appropriate for the given variable. N(t is_indvarR8R:t is_funcvartDrtFunctionVariableExpressiont is_eventvartDrtEventVariableExpressiontDrtConstantExpression(R7((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR@sR6cBseZdZedZRS(cCs|S(N((R((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR'scCsgS(s#@see: AbstractExpression.get_refs()((RR3((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR4s(R R R'RIR4(((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR6s R:cBseZRS((R R (((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR:sRcBseZRS((R R (((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRsRcBseZRS((R R (((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRsRcBseZRS((R R (((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRsRcBseZdZedZRS(cCst|iiS(N(tNegatedExpressionttermR'(R((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR'scCs|ii|S(s#@see: AbstractExpression.get_refs()(RR4(RR3((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR4s(R R R'RIR4(((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRs tDrtLambdaExpressioncBseZdZdZRS(cCs+|i||ii|it|tS(sRename all occurrences of the variable introduced by this variable binder in the expression to @C{newvar}. @param newvar: C{Variable}, for the new variable (R-RRNR7R@RO(RRZ((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyt alpha_convertscCst|i|iiS(N(tLambdaExpressionR7RR'(R((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR' s(R R RR'(((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRs tDrtBooleanExpressioncBseZedZRS(cCs3|o$|iit|iitSngSdS(s#@see: AbstractExpression.get_refs()N(R=R4ROR>(RR3((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR4s$(R R RIR4(((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR sR cBseZdZRS(cCst|ii|iiS(N(t OrExpressionR=R'R>(R((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR's(R R R'(((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR sR"cBseZdZRS(cCs|i}|i}d}|io7ttg}|iD]}||iq6~}n|ot||i}n |i}x-|idddD]}t ||}qW|S(Ni( R=R>RFRKR^RmR't ImpExpressionRJt AllExpression(Rt first_drst second_drsRoRWRbRY((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR's   1 (R R R'(((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR"sR$cBseZdZRS(cCst|ii|iiS(N(t IffExpressionR=R'R>(R((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR'.s(R R R'(((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR$-sR<cBseZdZedZRS(cCst|ii|iiS(N(tEqualityExpressionR=R'R>(R((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR'2scCs3|o$|iit|iitSngSdS(s#@see: AbstractExpression.get_refs()N(R=R4ROR>(RR3((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR45s$(R R R'RIR4(((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR<1s R1cBsPeZdZedZdZedZeidZ dZ dZ RS(sDRS of the form '(DRS + DRS)'cCs|i}|i}t|tomt|to]|t|itt|it@jo.|i||t}|i||t}nCt|toI||ijo9|o.|i|||}|i|||}qnt|toI||ijo9|o.|i|||}|i|||}qnxct|it|i @D]B}t t |}|i||t}|i||t}qaW|i|||}|i|||}|i ||S(s_Replace all instances of variable v with expression E in self, where v is free in self.( R=R>RRRQR4RORNRJRRR@RSR-(RR7RTRUR=R>RYtv((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRN>s,   /   cCs|ii}|ii}t|tot|toxWt|itt|it@D]-}tt |}|i ||t}qgWt|i |i |i |i Sn|i ||SdS(N(R=R&R>RRRQR4ROR@RSRNRJRKR-(RR=R>RYRZ((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR&bs )%cCs |ii||ii|S(s#@see: AbstractExpression.get_refs()(R=R4R>(RR3((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR4qscCstiS(N(RR (RR{((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pytgetOpuscCst|to|i}|i}t|t|joq|}xAt||D]0\}}|i|}|i||t}qWW|i|ijo|i |i jSqnt S(s}Defines equality modulo alphabetic variance. If we are comparing \x.M and \y.N, then check equality of M and N[x/y].( RR1R4RpRqRARNROR=R>RI(RRt self_refst other_refsRrRsRtRu((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRvxs   cCst|ii|iiS(N(RmR=R'R>(R((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR's( R R RERIRNR&R4RR}RRvR'(((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR1<s $   RcBseZdZedZRS(cCst|ii|iiS(N(tApplicationExpressionR5R'R9(R((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR'scCs3|o$|iit|iitSngSdS(s#@see: AbstractExpression.get_refs()N(R5R4ROR9(RR3((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR4s$(R R R'RIR4(((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRs tPossibleAntecedentscBs/eZedZedZeidZRS(cCs t|S(sSet of free variables.(RQ(RRd((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRRscCsIt}x9|D]1}||jo|i|q|i|qW|S(s_Replace all instances of variable v with expression E in self, where v is free in self.(Rtappend(RR7RTRUtresulttitem((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRNs  cCsdditt|dS(NR RwR (RztmapRy(RR{((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRys( R R RORRRIRNRR}Ry(((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRs  tAnaphoraResolutionExceptioncBseZRS((R R (((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRsc Cs"t|to |iot}xl|D]d}x[|iD]M}|i|}|i|iijo"||ij o|i|q@q@Wq-Wt |djo|d}n|}|i |i|Sqt |i ||g}t |i||g}|i||Snt|t og} x|iD]} t | ||g} t| toqt| ito"| i} | i| _| | _nt| ito%| iptd| iqqn| i| q9W|i|i| Sn!t|to|Sn t|to$|it |i||gSnt|to@|it |i||gt |i|||igSnt|to:|it |i||gt |i||gSn;t|to*|i|it |i||gSndS(Niis+Variable '%s' does not resolve to anything.(RRR;RR4RAR-R9RRpR?RBR5RRKRR=R>RRJtAbstractVariableExpressionRRRtBinaryExpressionRR7( RTttrailtpossible_antecedentstancestorRYtrefext resolutiont r_functiont r_argumenttr_condsRXtr_condttemp((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRBs\        $$RCcBseZdZdZdZeedZdZeedZ dZ dZ dZ d d d Z d Zd Zd ZdZdZdZdZRS(ii ic Cs#ti|_d }|pt}|idtdddd}|ot|dddd}||_||_ |i ||i |i \}}t ||i d }||i } t|d|d| }nt|dd dd }|i||_n||_ ||_||_d S( s @param drs: C{AbstractDrs}, The DRS to be drawn @param size_canvas: C{boolean}, True if the canvas size should be the exact size of the DRS @param canvas: C{Canvas} The canvas on which to draw the DRS. If none is given, create a new canvas. tDRTtfamilyt helveticatsizei twidthitheightidi,N(RR}R{RFRttitleRRtfonttcanvast_visitt OUTERSPACEtTOPSPACEtmaxtpacktdrstmaster( RRt size_canvasRRRtrighttbottomRR((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRLs(     !     cCs|iiidS(s Get the height of a line of textt linespace(RRtmetrics(R((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyt_get_text_heightscCs\|i|i|i|||iot o|iin|i|i||SdS(s Draw the DRSN(t_handleRt _draw_commandRRtmainloopR(Rtxty((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRDscCs|i||i||S(s) Return the bottom-rightmost point without actually drawing the item @param expression: the item to visit @param x: the top of the current drawing area @param y: the left side of the current drawing area @return: the bottom-rightmost point (Rt_visit_command(RRTRR((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR!s c Cst|to/|ii||ddd|iid|nnt|to]|\}}|ii||||||i|id}|ii ||||n|i |||S(s  Draw the given item at the given location @param item: the item to draw @param x: the top of the current drawing area @param y: the left side of the current drawing area @return: the bottom-rightmost point tanchortnwRttexti( RRyRt create_textRttupletcreate_rectangleRtBUFFERt create_lineR(RRRRRRt horiz_line_y((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR,s / cCsWt|to+||iii|||ifSnt|to|SndS(s# Return the bottom-rightmost point without actually drawing the item @param item: the item to visit @param x: the top of the current drawing area @param y: the left side of the current drawing area @return: the bottom-rightmost point N(RRyRRtmeasureRR(RRRR((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR@s +icCsn||ijoBy(|i|}|i|}||fSWqRtj oqRXnt|to |i}nt|to |i}nt|t o |i }nt|t o |i }njt|t o |i}nMt|to |i}n0t|tio |i}nt|ii|||||\}}|||_|||_||fS(s1 @param expression: the expression to handle @param command: the function to apply, either _draw_command or _visit_command @param x: the top of the current drawing area @param y: the left side of the current drawing area @return: the bottom-rightmost point (Rt_drawing_widtht_drawing_heightR,RR6t_handle_VariableExpressionRt _handle_DRSRt_handle_NegatedExpressionRt_handle_LambdaExpressionRt_handle_BinaryExpressionRt_handle_ApplicationExpressiontRARRlR-R (RRTtcommandRRRRtfactory((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRNs4            cCs||i|i||S(N(RyR{(RRTRRR((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRzscCs|iti|i||d}|i|i|||\}}|ti|i||i||||i||fS(Ni(RRtNOTR{RRt_get_centered_topR(RRTRRRRR((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR}s#!3c Cs ||i}||i}|io7dig}|iD]}|t|q8~} nd} || ||\} }||id7}|ioRxf|iD]@} |i| |||\} }t| | } ||i7}qWn||i|i7}| |i7} || |f||S(Nt s i(RRJRzRyRKRRR( RRTRRRtleftRRWRYRJt max_rightRXR((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRs    7   c Cs|i\}}t|tp|i}|ig}n|i|||d}t|gg}|D] } ||i| ||dqh~} | |} |i|| |i} |i |||| d} |i|| |i }|t i | |d} xt |D]x\}} |i|| | i}|i | || |d} |dt|jo!|t id| |d} qqW|t i| |d} | | fS(NiiR(tuncurryRR6R5R9RRRRRRRtOPENt enumerateRptCOMMAtCLOSE(RRTRRRR5targstfunction_bottomRWtargt max_bottomt line_heighttfunction_drawing_topRtcentred_string_topRVtarg_drawing_top((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRs& A  %cCsti|it|iti|i}|i|||d}|i|i|||\}}||||i ||||i ||fS(Ni( RtLAMBDAR{RyR7tDOTRRRRR(RRTRRRRaRR((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRs +!)c CsE|i|iddd}|i|iddd}t||}|i|||i}|ti||d} |ii}|i |i|| |i|||\} } |d|i |i | |d} |ii}|i |i|| |i|||\} } |ti | |d} | t| | fS(Niis %s ( RR=R>RRRRRRRRR{R( RRTRRRt first_heightt second_heightRRRt first_bottomt second_bottom((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRs 0& 0cCs|||dS(sGet the y-coordinate of the point that a figure should start at if its height is 'item_height' and it needs to be centered in an area that starts at 'top' and is 'full_height' tall.i((Rttopt full_heightt item_height((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRs(R R RRRRORFRLRRDRRRRRRRRRRR(((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRCs""   ,   # t DrtParsercBszeZdZdZdZdZdZdZdZdZ dZ d Z d Z d Z d ZRS( s$A lambda calculus expression parser.cCsti|dS(N(t LogicParserRL(R((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRLscCstiS(s#This method exists to be overridden(RR(R((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pytget_all_symbolsscCs |tijS(N(RR(Rttok((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyt isvariablescCs|tijo|iSn|tijo|i|Sn|tijo8|idtijo|iSq|i |Sn_|i ti jo'|i |iti|iSn"|i |o|i|SndS(shThis method is intended to be overridden for logics that use different operators or expressionsiN(RRthandle_negationRt handle_lambdaRttokenRt handle_DRSt handle_opentupperRt assertTokenRthandle_variable(RR((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pythandlescCs t|S(N(R(RRT((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pytmake_NegatedExpressionscCs[|i|itig}x^|idtijoD|idtijo|iq"|it|iq"W|i|idtijo|in|i|itig}xX|idtijo>|idtijo|iq|i|iqW|i|i|iti t ||S(Ni( RRRRRRRtVariabletparse_ExpressionRR(RRJRK((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRs$  cCs t||S(slThis method serves as a hook for other logic parsers that have different equality expression classes(R<(RR=R>((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyR?4scCsh|tijotSnM|tijotSn5|tijotSn|tijotSndSdS(sbThis method serves as a hook for other logic parsers that have different boolean operatorsN( RR R1tORR tIMPR"tIFFR$RF(RR((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pytget_BooleanExpression_factory9scCs |||S(N((RRR=R>((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pytmake_BooleanExpressionGscCs t||S(N(R(RR5R9((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pytmake_ApplicationExpressionJscCstt|S(N(R@R(RR8((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRAMscCs t||S(N(R(RRaR((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pytmake_LambdaExpressionPs(R R RERLRRRRRR?RR R RAR (((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyRs           cCsHdddGHt}|idGH|idGH|idGH|idGH|idGH|id GH|id GH|id GH|id GHdd dGH|idiGHdddGH|id}|GH|itd}|GH||jGHdddGHt|idGHt|idGHt|idGHdS(Nt=is TEST PARSEs([x,y],[sees(x,y)])s([x],[man(x), walks(x)])s\x.\y.([],[sees(x,y)])s\x.([],[walks(x)])(john)s$(([x],[walks(x)]) + ([y],[runs(y)]))s#(([],[walks(x)]) -> ([],[runs(x)]))s([x],[PRO(x), sees(John,x)])s ([x],[man(x), -([],[walks(x)])])s*([],[(([x],[man(x)]) -> ([],[walks(x)]))])s Test fol()s4Test alpha conversion and lambda expression equalitys\x.([],[P(x)])tzsTest resolve_anaphora()s,([x,y,z],[dog(x), cat(y), walks(z), PRO(z)])s3([],[(([x],[dog(x)]) -> ([y],[walks(y), PRO(y)]))])s(([x,y],[]) + ([],[PRO(x)]))s====================s====================s====================s====================s====================s====================s====================s====================(RtparseR'RRRB(tparserte1te2((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pytdemoTs.      c CsXddddddddd d d g }x*|D]"}ti|}|iq.WdS( NRs([],[])s([x],[])s([x],[man(x)])s([x,y],[sees(x,y)])s([x],[man(x), walks(x)])s\x.([],[man(x), walks(x)])s\x y.([],[sees(x,y)])s)([],[(([],[walks(x)]) + ([],[runs(x)]))])s ([x],[man(x), -([],[walks(x)])])s*([],[(([x],[man(x)]) -> ([],[walks(x)]))])(RRRD(t expressionsRjtd((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pyt test_drawqs t__main__(7R_tlogictTkinterRRttkFontRt nltk.utilRt ImportErrorRRtobjectRt ExpressionRR@RR6tIndividualVariableExpressionR:tFunctionVariableExpressionRtEventVariableExpressionRtConstantExpressionRRRRRtBooleanExpressionRRR RR"RR$RR<R1RRtlistRRlRRBRCRRRRR (((s"/p/zhu/06/nlp/nltk/nltk/sem/drt.pys sH  P`   N  ?a