'[fx(ddlmZmZddlmZddlmZeGddeZGddeZeGd d Z Gd d eZ Gd deZ dS))ABCMetaabstractmethod)total_ordering)raise_unorderable_typesceZdZdZedZedZedZedZedZ edZ dZ d Z d Z d Zd S) AbstractCCGCategoryz; Interface for categories in combinatory grammars. cdS)z< Returns true if the category is primitive. Nselfs @/var/www/piapp/venv/lib/python3.11/site-packages/nltk/ccg/api.py is_primitivez AbstractCCGCategory.is_primitivecdS)zI Returns true if the category is a function application. Nr r s r is_functionzAbstractCCGCategory.is_functionrrcdS)z= Returns true if the category is a variable. Nr r s r is_varzAbstractCCGCategory.is_var rrcdS)z Takes a set of (var, category) substitutions, and replaces every occurrence of the variable with the corresponding category. Nr )r substitutionss r substitutezAbstractCCGCategory.substitute&rrcdS)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 others r can_unifyzAbstractCCGCategory.can_unify-rrcdSNr r s r __str__zAbstractCCGCategory.__str__6s rc>|j|juo|j|jkSr __class___comparison_keyrs r __eq__zAbstractCCGCategory.__eq__:& Neo - >$(== rc||k Srr rs r __ne__zAbstractCCGCategory.__ne__@5=  rct|tstd|||j|jur|j|jkS|jj|jjkSN<) isinstancerrr!r"__name__rs r __lt__zAbstractCCGCategory.__lt__Cs\%!455 6 #Cu 5 5 5 >U_ , ,'%*?? ?>*U_-EE Ercr |jS#t$r#t|j|_|jcYSwxYwr_hashAttributeErrorhashr"r s r __hash__zAbstractCCGCategory.__hash__KJ :    d233DJ:      *66N)r, __module__ __qualname____doc__rrrrrrrr#r&r-r3r rr rrs  ^   ^   ^   ^   ^   ^    !!!FFFrr) metaclasscteZdZdZdZddZedZedZdZ dZ d Z d Z d Z d Zd ZdS)CCGVarz Class representing a variable CCG category. Used for conjunctions (and possibly type-raising, if implemented as a unary rule). rFc^||_||_|j|_dS)zInitialize 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 prim_onlys r __init__zCCGVar.__init__\s*;;==##xrc4|jdz|_|jdz S)zT A class method allowing generation of unique variable identifiers. _maxIDclss r r=z CCGVar.new_idgs Z!^ zA~rcd|_dS)NrrDrFs r reset_idzCCGVar.reset_idos  rcdSNFr r s r rzCCGVar.is_primitivesurcdSrKr r s r rzCCGVar.is_functionvrLrcdSNTr r s r rz CCGVar.is_varytrc*|D]\}}||kr|cS|S)zlIf there is a substitution corresponding to this variable, return the substituted category. r )r rvarcats r rzCCGVar.substitute|s3(  JS#d{{  rcF|s|js||fgSdS)zWIf the variable can be replaced with other a substitution is returned. N)rr?rs r rzCCGVar.can_unifys2      #t #5M? "trc|jSr)r>r s r idz CCGVar.ids xrc0dt|jzS)N_var)strr>r s r rzCCGVar.__str__sDH %%rN)F)r,r6r7r8rErA classmethodr=rIrrrrrrVrr rr r;r;Ss F ( ( ( ([[&&&&&rr;creZdZdZdZdZdZdZdZdZ dZ d Z d Z d Z d Zd ZdZdZdZdZdS) Directionz Class representing the direction of a function application. Also contains maintains information as to which combinators may be used with the category. cN||_||_|t|f|_dSr)_dir_restrstupler")r dir restrictionss r rAzDirection.__init__s+ # #U<%8%89rc|jdkS)N/r^r s r is_forwardzDirection.is_forwardsyCrc|jdkS)N\rer s r is_backwardzDirection.is_backwardsyD  rc|jSrrer s r raz Direction.dir yrc|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) r_r s r restrszDirection.restrss |rc|jdkSN_rmr s r is_variablezDirection.is_variables|s""rc |rd|fgS|rd|fgS||krgSdSrp)rrrnrs r rzDirection.can_unifys{      $++--() )      %,,..)* *{{}} .. trc||s|S|D]"\}}|dkrt|j|cS#|Srp)rrr\r^)r subsrRrns r rzDirection.substitutesY!! K! 4 4MS&czz F33333 rcd|jvS)N,rmr s r can_composezDirection.can_compose$,&&rcd|jvS)N.rmr s r can_crosszDirection.can_crossryrc>|j|juo|j|jkSrr rs r r#zDirection.__eq__r$rc||k Srr rs r r&zDirection.__ne__r'rct|tstd|||j|jur|j|jkS|jj|jjkSr))r+r\rr!r"r,rs r r-zDirection.__lt__s[%++ 6 #Cu 5 5 5 >U_ , ,'%*?? ?>*U_-EE Ercr |jS#t$r#t|j|_|jcYSwxYwrr/r s r r3zDirection.__hash__r4r5c@d}|jD] }|d|zz} |j|S)N%s)r_r^)r r_strrs r rzDirection.__str__s; % %AD1H$EE)$U$$$rcl|jdkrtd|jStd|jS)Nrdrh)r^r\r_r s r __neg__zDirection.__neg__s3 9  T4<00 0S$,// /rN)r,r6r7r8rArfrirarnrrrrrxr|r#r&r-r3rrr rr r\r\s :::    !!!### ''''''   !!!FFF%%%00000rr\cLeZdZdZgfdZdZdZdZdZdZ dZ d Z d Z d S) PrimitiveCategoryz Class representing primitive categories. Takes a string representation of the category, and a list of strings specifying the morphological subcategories. cN||_||_|t|f|_dSr)_categr_r`r")r categrbs r rAzPrimitiveCategory.__init__s+ # %u\':':;rcdSrOr r s r rzPrimitiveCategory.is_primitiverPrcdSrKr r s r rzPrimitiveCategory.is_function rLrcdSrKr r s r rzPrimitiveCategory.is_var rLrc|jSrrmr s r rnzPrimitiveCategory.restrss |rc|jSr)rr s r rzPrimitiveCategory.categs {rc|Srr )r rus r rzPrimitiveCategory.substitutes rc|sdS|r||fgS||kr%|jD]}||vrdSgSdSr)rrrr_rn)r rrestrs r rzPrimitiveCategory.can_unifys!!## 4 <<>> #DM? " ;;==DJJLL ( (   ..44/Itrc|jgkr d|jzSddd|jDz}|j|S)Nrz[%s]rwc34K|]}t|VdSr)repr).0rs r z,PrimitiveCategory.__str__..+s((G(GQa(G(G(G(G(G(Gr)r_rjoin)r rbs r rzPrimitiveCategory.__str__(sV <2  $+% %(G(G$,(G(G(G G GG +-|---rN) r,r6r7r8rArrrrnrrrrr rr rrs ,.<<<<    .....rrcNeZdZdZdZdZdZdZdZdZ dZ d Z d Z d Z d S) FunctionalCategoryz Class that represents a function application category. Consists of argument and result categories, together with an application direction. cD||_||_||_|||f|_dSr)_res_argr^r")r resargras r rAzFunctionalCategory.__init__6s+   #S#rcdSrKr r s r rzFunctionalCategory.is_primitive<rLrcdSrOr r s r rzFunctionalCategory.is_function?rPrcdSrKr r s r rzFunctionalCategory.is_varBrLrc|j|}|j|}|j|}t |||jSr)rrr^rr)r rusub_ressub_dirsub_args r rzFunctionalCategory.substituteGsU)&&t,,)&&t,,)&&t,,!'7DI>>>rc|r||fgS|r|j|}|j|}|[|Y|j|| |}|||zSdSr) rrrrrr^rarrr)r rsasdsbs r rzFunctionalCategory.can_unifyOs <<>> #DM? "      #$$UYY[[11B$$UYY[[11B~".Y))"--77 8N8Nr8R8RSS>7Ntrc|jSr)rr s r rzFunctionalCategory.arg\rkrc|jSr)rr s r rzFunctionalCategory.res_rkrc|jSrrer s r razFunctionalCategory.dirbrkrc4d|j|j|jdS)N())rr^rr s r rzFunctionalCategory.__str__es#5495di55555rN)r,r6r7r8rArrrrrrrrarr rr rr/s ///  ???   66666rrN) abcrr functoolsrnltk.internalsrrr;r\rrr rr rsR('''''''$$$$$$222222AAAAAGAAAAH>&>&>&>&>& >&>&>&Bb0b0b0b0b0b0b0b0J2.2.2.2.2.+2.2.2.j7676767676,7676767676r