ó ù`]c@sddlmZddlmZddlmZmZddlmZddl m Z ddl m Z m Z eeƒedefd„ƒYƒƒZe d efd „ƒYƒZee d efd „ƒYƒƒZe d efd„ƒYƒZe defd„ƒYƒZdS(iÿÿÿÿ(tunicode_literals(ttotal_ordering(tABCMetatabstractmethod(t add_metaclass(traise_unorderable_types(tpython_2_unicode_compatiblet unicode_reprtAbstractCCGCategorycBsŒeZdZed„ƒZed„ƒZed„ƒZed„ƒZed„ƒZed„ƒZ d„Z d„Z d „Z d „Z RS( u; Interface for categories in combinatory grammars. cCsdS(u< Returns true if the category is primitive. N((tself((s+lib/python2.7/site-packages/nltk/ccg/api.pyt is_primitivetcCsdS(uI Returns true if the category is a function application. N((R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyt is_functionR cCsdS(u= Returns true if the category is a variable. N((R ((s+lib/python2.7/site-packages/nltk/ccg/api.pytis_var$R cCsdS(u– Takes a set of (var, category) substitutions, and replaces every occurrence of the variable with the corresponding category. N((R t substitutions((s+lib/python2.7/site-packages/nltk/ccg/api.pyt substitute*R cCsdS(u· Determines whether two categories can be unified. - Returns None if they cannot be unified - Returns a list of necessary substitutions if they can. N((R tother((s+lib/python2.7/site-packages/nltk/ccg/api.pyt can_unify1R cCsdS(N((R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyt__str__:scCs"|j|jko!|j|jkS(N(t __class__t_comparison_key(R R((s+lib/python2.7/site-packages/nltk/ccg/api.pyt__eq__>scCs ||k S(N((R R((s+lib/python2.7/site-packages/nltk/ccg/api.pyt__ne__DscCs^t|tƒs"td||ƒn|j|jkrD|j|jkS|jj|jjkSdS(Nu<(t isinstanceRRRRt__name__(R R((s+lib/python2.7/site-packages/nltk/ccg/api.pyt__lt__Gs cCs9y |jSWn'tk r4t|jƒ|_|jSXdS(N(t_hashtAttributeErrorthashR(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyt__hash__Os   (Rt __module__t__doc__RR R R RRRRRRR(((s+lib/python2.7/site-packages/nltk/ccg/api.pyRs    tCCGVarcBs}eZdZdZed„Zed„ƒZed„ƒZd„Z d„Z d„Z d„Z d „Z d „Zd „ZRS( u Class representing a variable CCG category. Used for conjunctions (and possibly type-raising, if implemented as a unary rule). icCs(|jƒ|_||_|j|_dS(u×Initialize a variable (selects a new identifier) :param prim_only: a boolean that determines whether the variable is restricted to primitives :type prim_only: bool N(tnew_idt_idt _prim_onlyR(R t prim_only((s+lib/python2.7/site-packages/nltk/ccg/api.pyt__init__as cCs|jd|_|jdS(uT A class method allowing generation of unique variable identifiers. i(t_maxID(tcls((s+lib/python2.7/site-packages/nltk/ccg/api.pyR!lscCs d|_dS(Ni(R&(R'((s+lib/python2.7/site-packages/nltk/ccg/api.pytreset_idtscCstS(N(tFalse(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyR xscCstS(N(R)(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyR {scCstS(N(tTrue(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyR ~scCs+x$|D]\}}||kr|SqW|S(ulIf there is a substitution corresponding to this variable, return the substituted category. ((R Rtvartcat((s+lib/python2.7/site-packages/nltk/ccg/api.pyRs cCs'|jƒs|j r#||fgSdS(uX If the variable can be replaced with other a substitution is returned. N(R R#tNone(R R((s+lib/python2.7/site-packages/nltk/ccg/api.pyRŠs cCs|jS(N(R"(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pytid’scCsdt|jƒS(Nu_var(tstrR"(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyR•s(RRRR&R)R%t classmethodR!R(R R R RRR.R(((s+lib/python2.7/site-packages/nltk/ccg/api.pyR Ws      t DirectioncBsžeZdZd„Zd„Zd„Zd„Zd„Zd„Zd„Z d„Z d „Z d „Z d „Z d „Zd „Zd„Zd„Zd„ZRS(u¨ Class representing the direction of a function application. Also contains maintains information as to which combinators may be used with the category. cCs+||_||_|t|ƒf|_dS(N(t_dirt_restrsttupleR(R tdirt restrictions((s+lib/python2.7/site-packages/nltk/ccg/api.pyR%¢s  cCs |jdkS(Nu/(R2(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyt is_forward¨scCs |jdkS(Nu\(R2(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyt is_backward«scCs|jS(N(R2(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyR5®scCs|jS(u8A list of restrictions on the combinators. '.' denotes that permuting operations are disallowed ',' denotes that function composition is disallowed '_' denotes that the direction has variable restrictions. (This is redundant in the current implementation of type-raising) (R3(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pytrestrs±scCs |jdkS(Nu_(R3(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyt is_variableºscCs^|jƒrd|jƒfgS|jƒr>d|jƒfgS|jƒ|jƒkrZgSdS(Nu_(R:R9R-(R R((s+lib/python2.7/site-packages/nltk/ccg/api.pyRÀs  cCsG|jƒs|Sx0|D](\}}|dkrt|j|ƒSqW|S(Nu_(R:R1R2(R tsubsR+R9((s+lib/python2.7/site-packages/nltk/ccg/api.pyRÊs   cCs d|jkS(Nu,(R3(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyt can_composeÔscCs d|jkS(Nu.(R3(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyt can_cross×scCs"|j|jko!|j|jkS(N(RR(R R((s+lib/python2.7/site-packages/nltk/ccg/api.pyRÚscCs ||k S(N((R R((s+lib/python2.7/site-packages/nltk/ccg/api.pyRàscCs^t|tƒs"td||ƒn|j|jkrD|j|jkS|jj|jjkSdS(Nu<(RR1RRRR(R R((s+lib/python2.7/site-packages/nltk/ccg/api.pyRãs cCs9y |jSWn'tk r4t|jƒ|_|jSXdS(N(RRRR(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyRës   cCs9d}x|jD]}|d|}qWd|j|fS(Nuu%su%s%s(R3R2(R tr_strtr((s+lib/python2.7/site-packages/nltk/ccg/api.pyRòscCs3|jdkrtd|jƒStd|jƒSdS(Nu/u\(R2R1R3(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyt__neg__ùs(RRRR%R7R8R5R9R:RRR<R=RRRRRR@(((s+lib/python2.7/site-packages/nltk/ccg/api.pyR1™s"            tPrimitiveCategorycBsbeZdZgd„Zd„Zd„Zd„Zd„Zd„Zd„Z d„Z d „Z RS( u« Class representing primitive categories. Takes a string representation of the category, and a list of strings specifying the morphological subcategories. cCs+||_||_|t|ƒf|_dS(N(t_categR3R4R(R tcategR6((s+lib/python2.7/site-packages/nltk/ccg/api.pyR%s  cCstS(N(R*(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyR scCstS(N(R)(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyR scCstS(N(R)(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyR scCs|jS(N(R3(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyR9scCs|jS(N(RB(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyRCscCs|S(N((R R;((s+lib/python2.7/site-packages/nltk/ccg/api.pyRscCss|jƒsdS|jƒr)||fgS|jƒ|jƒkrox'|jD]}||jƒkrKdSqKWgSdS(N(R R-R RCR3R9(R Rtrestr((s+lib/python2.7/site-packages/nltk/ccg/api.pyR#s   cCsK|jgkrd|jSddjd„|jDƒƒ}d|j|fS(Nu%su[%s]u,css|]}t|ƒVqdS(N(R(t.0R?((s+lib/python2.7/site-packages/nltk/ccg/api.pys 2su%s%s(R3RBtjoin(R R6((s+lib/python2.7/site-packages/nltk/ccg/api.pyR/s  ( RRRR%R R R R9RCRRR(((s+lib/python2.7/site-packages/nltk/ccg/api.pyRAs        tFunctionalCategorycBsheZdZd„Zd„Zd„Zd„Zd„Zd„Zd„Z d„Z d „Z d „Z RS( uœ Class that represents a function application category. Consists of argument and result categories, together with an application direction. cCs1||_||_||_|||f|_dS(N(t_rest_argR2R(R trestargR5((s+lib/python2.7/site-packages/nltk/ccg/api.pyR%>s   cCstS(N(R)(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyR DscCstS(N(R*(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyR GscCstS(N(R)(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyR JscCsI|jj|ƒ}|jj|ƒ}|jj|ƒ}t|||jƒS(N(RHRR2RIRG(R R;tsub_restsub_dirtsub_arg((s+lib/python2.7/site-packages/nltk/ccg/api.pyROscCsµ|jƒr||fgS|jƒr±|jj|jƒƒ}|jj|jƒƒ}|dk r±|dk r±|jj |ƒj|j ƒj |ƒƒ}|dk r®||Sq±ndS(N( R R RHRRJR2R5R-RIRRK(R Rtsatsdtsb((s+lib/python2.7/site-packages/nltk/ccg/api.pyRWs   * cCs|jS(N(RI(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyRKdscCs|jS(N(RH(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyRJgscCs|jS(N(R2(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyR5jscCsd|j|j|jfS(Nu(%s%s%s)(RHR2RI(R ((s+lib/python2.7/site-packages/nltk/ccg/api.pyRms( RRRR%R R R RRRKRJR5R(((s+lib/python2.7/site-packages/nltk/ccg/api.pyRG6s        N(t __future__Rt functoolsRtabcRRtsixRtnltk.internalsRt nltk.compatRRtobjectRR R1RARG(((s+lib/python2.7/site-packages/nltk/ccg/api.pyts" DAe5