B P?ð[;(ã@sÄddlmZddlmZddlmZmZddlmZddl m Z ddl m Z m Z eeƒeGdd„deƒƒƒZe Gd d „d eƒƒZee Gd d „d eƒƒƒZe Gd d„deƒƒZe Gdd„deƒƒZdS)é)Úunicode_literals)Útotal_ordering)ÚABCMetaÚabstractmethod)Ú add_metaclass)Úraise_unorderable_types)Úpython_2_unicode_compatibleÚ unicode_reprc@sxeZdZdZedd„ƒZedd„ƒZedd„ƒZedd „ƒZed d „ƒZ ed d „ƒZ dd„Z dd„Z dd„Z dd„ZdS)ÚAbstractCCGCategoryz; Interface for categories in combinatory grammars. cCsdS)z< Returns true if the category is primitive. N©)Úselfr r ú+lib/python3.7/site-packages/nltk/ccg/api.pyÚ is_primitivesz AbstractCCGCategory.is_primitivecCsdS)zI Returns true if the category is a function application. Nr )r r r r Ú is_functionszAbstractCCGCategory.is_functioncCsdS)z= Returns true if the category is a variable. Nr )r r r r Úis_var$szAbstractCCGCategory.is_varcCsdS)z– Takes a set of (var, category) substitutions, and replaces every occurrence of the variable with the corresponding category. Nr )r Ú substitutionsr r r Ú substitute*szAbstractCCGCategory.substitutecCsdS)z· Determines whether two categories can be unified. - Returns None if they cannot be unified - Returns a list of necessary substitutions if they can. Nr )r Úotherr r r Ú can_unify1szAbstractCCGCategory.can_unifycCsdS)Nr )r r r r Ú__str__:szAbstractCCGCategory.__str__cCs|j|jko|j|jkS)N)Ú __class__Ú_comparison_key)r rr r r Ú__eq__>s zAbstractCCGCategory.__eq__cCs ||k S)Nr )r rr r r Ú__ne__DszAbstractCCGCategory.__ne__cCsBt|tƒstd||ƒ|j|jkr.|j|jkS|jj|jjkSdS)Nú<)Ú isinstancer rrrÚ__name__)r rr r r Ú__lt__Gs     zAbstractCCGCategory.__lt__cCs.y|jStk r(t|jƒ|_|jSXdS)N)Ú_hashÚAttributeErrorÚhashr)r r r r Ú__hash__Os  zAbstractCCGCategory.__hash__N)rÚ __module__Ú __qualname__Ú__doc__rrrrrrrrrrr!r r r r r s     r c@sneZdZdZdZddd„Zedd„ƒZedd „ƒZd d „Z d d „Z dd„Z dd„Z dd„Z dd„Zdd„ZdS)ÚCCGVarz Class representing a variable CCG category. Used for conjunctions (and possibly type-raising, if implemented as a unary rule). rFcCs| ¡|_||_|j|_dS)z×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)Únew_idÚ_idÚ _prim_onlyr)r Z prim_onlyr r r Ú__init__as zCCGVar.__init__cCs|jd|_|jdS)zT A class method allowing generation of unique variable identifiers. é)Ú_maxID)Úclsr r r r&ls z CCGVar.new_idcCs d|_dS)Nr)r+)r,r r r Úreset_idtszCCGVar.reset_idcCsdS)NFr )r r r r rxszCCGVar.is_primitivecCsdS)NFr )r r r r r{szCCGVar.is_functioncCsdS)NTr )r r r r r~sz CCGVar.is_varcCs"x|D]\}}||kr|SqW|S)zlIf there is a substitution corresponding to this variable, return the substituted category. r )r rÚvarÚcatr r r rszCCGVar.substitutecCs| ¡s|js||fgSdS)zX If the variable can be replaced with other a substitution is returned. N)rr()r rr r r rŠs zCCGVar.can_unifycCs|jS)N)r')r r r r Úid’sz CCGVar.idcCsdt|jƒS)NZ_var)Ústrr')r r r r r•szCCGVar.__str__N)F)rr"r#r$r+r)Ú classmethodr&r-rrrrrr0rr r r r r%Ws   r%c@seZdZdZdd„Zdd„Zdd„Zdd „Zd d „Zd d „Z dd„Z dd„Z dd„Z dd„Z dd„Zdd„Zdd„Zdd„Zdd„Zd d!„Zd"S)#Ú Directionz¨ 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)Ú_dirÚ_restrsÚtupler)r ÚdirÚ restrictionsr r r r)¢szDirection.__init__cCs |jdkS)Nú/)r4)r r r r Ú is_forward¨szDirection.is_forwardcCs |jdkS)Nú\)r4)r r r r Ú is_backward«szDirection.is_backwardcCs|jS)N)r4)r r r r r7®sz Direction.dircCs|jS)a8A 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) )r5)r r r r Úrestrs±szDirection.restrscCs |jdkS)NÚ_)r5)r r r r Ú is_variableºszDirection.is_variablecCsD| ¡rd| ¡fgS| ¡r,d| ¡fgS| ¡| ¡kr@gSdS)Nr>)r?r=)r rr r r rÀszDirection.can_unifycCs6| ¡s |Sx$|D]\}}|dkrt|j|ƒSqW|S)Nr>)r?r3r4)r Úsubsr.r=r r r rÊs zDirection.substitutecCs d|jkS)Nú,)r5)r r r r Ú can_composeÔszDirection.can_composecCs d|jkS)NÚ.)r5)r r r r Ú can_cross×szDirection.can_crosscCs|j|jko|j|jkS)N)rr)r rr r r rÚs zDirection.__eq__cCs ||k S)Nr )r rr r r ràszDirection.__ne__cCsBt|tƒstd||ƒ|j|jkr.|j|jkS|jj|jjkSdS)Nr)rr3rrrr)r rr r r rãs     zDirection.__lt__cCs.y|jStk r(t|jƒ|_|jSXdS)N)rrr r)r r r r r!ës  zDirection.__hash__cCs.d}x|jD]}|d|}q Wd|j|fS)NÚz%sz%s%s)r5r4)r Zr_strÚrr r r ròs zDirection.__str__cCs&|jdkrtd|jƒStd|jƒSdS)Nr9r;)r4r3r5)r r r r Ú__neg__ùs  zDirection.__neg__N)rr"r#r$r)r:r<r7r=r?rrrBrDrrrr!rrGr r r r r3™s"   r3c@s\eZdZdZgfdd„Zdd„Zdd„Zdd „Zd d „Zd d „Z dd„Z dd„Z dd„Z dS)ÚPrimitiveCategoryz« 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)Ú_categr5r6r)r Úcategr8r r r r)szPrimitiveCategory.__init__cCsdS)NTr )r r r r r szPrimitiveCategory.is_primitivecCsdS)NFr )r r r r rszPrimitiveCategory.is_functioncCsdS)NFr )r r r r rszPrimitiveCategory.is_varcCs|jS)N)r5)r r r r r=szPrimitiveCategory.restrscCs|jS)N)rI)r r r r rJszPrimitiveCategory.categcCs|S)Nr )r r@r r r rszPrimitiveCategory.substitutecCsV| ¡s dS| ¡r||fgS| ¡| ¡krRx|jD]}|| ¡kr6dSq6WgSdS)N)rrrJr5r=)r rZrestrr r r r#s   zPrimitiveCategory.can_unifycCs<|jgkrd|jSdd dd„|jDƒ¡}d|j|fS)Nz%sz[%s]rAcss|]}t|ƒVqdS)N)r )Ú.0rFr r r ú 2sz,PrimitiveCategory.__str__..z%s%s)r5rIÚjoin)r r8r r r r/s  zPrimitiveCategory.__str__N) rr"r#r$r)rrrr=rJrrrr r r r rHs  rHc@s`eZdZdZdd„Zdd„Zdd„Zdd „Zd d „Zd d „Z dd„Z dd„Z dd„Z dd„Z dS)ÚFunctionalCategoryzœ Class that represents a function application category. Consists of argument and result categories, together with an application direction. cCs"||_||_||_|||f|_dS)N)Ú_resÚ_argr4r)r ÚresÚargr7r r r r)>szFunctionalCategory.__init__cCsdS)NFr )r r r r rDszFunctionalCategory.is_primitivecCsdS)NTr )r r r r rGszFunctionalCategory.is_functioncCsdS)NFr )r r r r rJszFunctionalCategory.is_varcCs2|j |¡}|j |¡}|j |¡}t|||jƒS)N)rOrr4rPrN)r r@Zsub_resZsub_dirZsub_argr r r rOs   zFunctionalCategory.substitutecCsz| ¡r||fgS| ¡rv|j | ¡¡}|j | ¡¡}|dk rv|dk rv|j |¡ |  ¡ |¡¡}|dk rv||SdS)N) rrrOrrQr4r7rPrrR)r rZsaZsdZsbr r r rWs zFunctionalCategory.can_unifycCs|jS)N)rP)r r r r rRdszFunctionalCategory.argcCs|jS)N)rO)r r r r rQgszFunctionalCategory.rescCs|jS)N)r4)r r r r r7jszFunctionalCategory.dircCsd|j|j|jfS)Nz(%s%s%s))rOr4rP)r r r r rmszFunctionalCategory.__str__N)rr"r#r$r)rrrrrrRrQr7rr r r r rN6s rNN)Z __future__rÚ functoolsrÚabcrrZsixrZnltk.internalsrZ nltk.compatrr Úobjectr r%r3rHrNr r r r Ús"      D A  e 5