/h'SSKJrJr SSKJr SSKJr \"SS\S95r"SS\5r\"S S 55r "S S \5r "S S\5r g))ABCMetaabstractmethod)total_ordering)raise_unorderable_typesc\rSrSrSr\S5r\S5r\S5r\S5r \S5r \S5r S r S r S rS rS rg)AbstractCCGCategoryz3 Interface for categories in combinatory grammars. cg)z, Returns true if the category is primitive. Nselfs D/var/www/auris/envauris/lib/python3.13/site-packages/nltk/ccg/api.py is_primitive AbstractCCGCategory.is_primitivecg)z9 Returns true if the category is a function application. Nr r s r is_functionAbstractCCGCategory.is_functionrrcg)z- Returns true if the category is a variable. Nr r s ris_varAbstractCCGCategory.is_var rrcg)z~ Takes a set of (var, category) substitutions, and replaces every occurrence of the variable with the corresponding category. Nr )r substitutionss r substituteAbstractCCGCategory.substitute&rrcg)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_unifyAbstractCCGCategory.can_unify-rrcgNr r s r__str__AbstractCCGCategory.__str__6s rcrURURL=(a URUR:H$r# __class___comparison_keyrs r__eq__AbstractCCGCategory.__eq__:0 NNeoo - >$$(=(== rc X:X+$r#r rs r__ne__AbstractCCGCategory.__ne__@   rc[U[5(d [SX5 URURLaURUR:$URR URR :$N<) isinstancerrr(r)__name__rs r__lt__AbstractCCGCategory.__lt__Cs`%!455 #C 5 >>U__ ,''%*?*?? ?>>**U__-E-EE ErcUR$![a) [UR5UlURs$f=fr#_hashAttributeErrorhashr)r s r__hash__AbstractCCGCategory.__hash__K< ::  d223DJ::   0AA)r:N)r5 __module__ __qualname____firstlineno____doc__rrrrrr r$r*r.r6r=__static_attributes__r rrrrs             !Frr) metaclasscp\rSrSrSrSrSSjr\S5r\S5r Sr Sr S r S r S rS rS rSrg)CCGVarSz Class representing a variable CCG category. Used for conjunctions (and possibly type-raising, if implemented as a unary rule). rc\UR5UlXlURUlg)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__CCGVar.__init__\s";;=##xxrcHURS-UlURS- $)zD A class method allowing generation of unique variable identifiers. _maxIDclss rrK CCGVar.new_idgs! ZZ!^ zzA~rcSUlg)NrrSrUs rreset_idCCGVar.reset_idos  rcgNFr r s rrCCGVar.is_primitivesrcgr\r r s rrCCGVar.is_functionvr^rcgNTr r s rr CCGVar.is_varyrc.UHup#X :XdM Us $ U$)z\If there is a substitution corresponding to this variable, return the substituted category. r )r rvarcats rrCCGVar.substitute|s!&HC{ & rcXUR5(dUR(dX4/$g)zGIf the variable can be replaced with other a substitution is returned. N)rrMrs rr CCGVar.can_unifys&     tM? "rcUR$r#)rLr s rid CCGVar.ids xxrc2S[UR5-$)N_var)strrLr s rr$CCGVar.__str__sDHH %%r)r)rLrMN)F)r5rArBrCrDrTrO classmethodrKrYrrrrr rlr$rEr rrrHrHSs^ F (&rrHcx\rSrSrSrSrSrSrSrSr Sr S r S r S r S rS rSrSrSrSrSrSrg) Directionz Class representing the direction of a function application. Also contains maintains information as to which combinators may be used with the category. c@XlX lU[U54Ulgr#)_dir_restrstupler))r dir restrictionss rrODirection.__init__s # #U<%89rc URS:H$)N/rwr s r is_forwardDirection.is_forwardsyyCrc URS:H$)N\rr s r is_backwardDirection.is_backwardsyyD  rcUR$r#rr s rrz Direction.dir yyrcUR$)aA 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) rxr s rrestrsDirection.restrss||rc URS:H$N_rr s r is_variableDirection.is_variables||s""rcUR5(aSUR54/$UR5(aSUR54/$UR5UR5:Xa/$gr)rrrs rr Direction.can_unifysd     $++-() )     %,,.)* *{{} . rcUR5(dU$UH#up#US:XdM [URU5s $ U$r)rrtrw)r subsrfrs rrDirection.substitutesA!!KKCcz F33  rc SUR;$)N,rr s r can_composeDirection.can_compose$,,&&rc SUR;$)N.rr s r can_crossDirection.can_crossrrcrURURL=(a URUR:H$r#r'rs rr*Direction.__eq__r,rc X:X+$r#r rs rr.Direction.__ne__r0rc[U[5(d [SX5 URURLaURUR:$URR URR :$r2)r4rtrr(r)r5rs rr6Direction.__lt__s_%++ #C 5 >>U__ ,''%*?*?? ?>>**U__-E-EE ErcUR$![a) [UR5UlURs$f=fr#r9r s rr=Direction.__hash__r?r@c\SnURH nUSU--nM URU3$)N%s)rxrw)r r_strrs rr$Direction.__str__s6AD1H$E))UG$$rczURS:Xa[SUR5$[SUR5$)Nr~r)rwrtrxr s r__neg__Direction.__neg__s0 99 T4<<0 0S$,,/ /r)r)rwr:rxN)r5rArBrCrDrOrrrzrrr rrrr*r.r6r=r$rrEr rrrtrtsX :  !# '' !F%0rrtcT\rSrSrSr/4SjrSrSrSrSr Sr S r S r S r S rg )PrimitiveCategoryz Class representing primitive categories. Takes a string representation of the category, and a list of strings specifying the morphological subcategories. c@XlX lU[U54Ulgr#)_categrxryr))r categr{s rrOPrimitiveCategory.__init__s # %u\':;rcgrbr r s rrPrimitiveCategory.is_primitiverdrcgr\r r s rrPrimitiveCategory.is_function r^rcgr\r r s rrPrimitiveCategory.is_var r^rcUR$r#rr s rrPrimitiveCategory.restrss ||rcUR$r#)rr s rrPrimitiveCategory.categs {{rcU$r#r )r rs rrPrimitiveCategory.substitutes rcUR5(dgUR5(aX4/$UR5UR5:Xa*URHnX!R 5;dM g /$gr#)rrrrxr)r rrestrs rr PrimitiveCategory.can_unifysd!!## <<>>M? " ;;=DJJL ( .&IrcUR/:XaSUR-$SSRSUR55-nURU3$)Nrz[%s]rc38# UHn[U5v M g7fr#)repr).0rs r ,PrimitiveCategory.__str__..+s(G,Qa,s)rxrjoin)r r{s rr$PrimitiveCategory.__str__(sM <<2 $++% %(G$,,(G GG ++|n--r)rr)rxN)r5rArBrCrDrOrrrrrrr r$rEr rrrrs9 ,.<  .rrcT\rSrSrSrSrSrSrSrSr Sr S r S r S r S rS rg)FunctionalCategoryi/z Class that represents a function application category. Consists of argument and result categories, together with an application direction. c:XlX lX0lX#U4Ulgr#)_res_argrwr))r resargrzs rrOFunctionalCategory.__init__6s   ##rcgr\r r s rrFunctionalCategory.is_primitive<r^rcgrbr r s rrFunctionalCategory.is_function?rdrcgr\r r s rrFunctionalCategory.is_varBr^rcURRU5nURRU5nURRU5n[ X$UR5$r#)rrrwrr)r rsub_ressub_dirsub_args rrFunctionalCategory.substituteGsO))&&t,))&&t,))&&t,!'DII>>rcUR5(aX4/$UR5(aURRUR 55nUR RUR 55nUbQUbNURRU5RUR5RU55nUbX$-$gr#) rrrr rrwrzrrr)r rsasdsbs rr FunctionalCategory.can_unifyOs <<>>M? "     $$UYY[1B$$UYY[1B~".YY))"-77 8N8Nr8RS>7NrcUR$r#)rr s rrFunctionalCategory.arg\rrcUR$r#)rr s rrFunctionalCategory.res_rrcUR$r#rr s rrzFunctionalCategory.dirbrrcRSURURURS3$)N())rrwrr s rr$FunctionalCategory.__str__es%499+dii[ 155r)rr)rwrN)r5rArBrCrDrOrrrrr rrrzr$rEr rrrr/s9 /  ? 6rrN) abcrr functoolsrnltk.internalsrrrHrtrrr rrrsu($2AGAAH>& >&Bb0b0b0J2.+2.j76,76r