ó ù`]c@sZdZddlmZddlmZmZddlmZddlm Z ddl m Z eeƒde fd„ƒYƒZ eeƒd e fd „ƒYƒZe d efd „ƒYƒZe d efd„ƒYƒZe de fd„ƒYƒZd„Zd„ZeeƒeƒZeeƒeƒZe de fd„ƒYƒZd„Zd„Zd„Zd„ZeeƒeƒZeeƒeƒZeeƒeddƒZe de fd„ƒYƒZd„Zd„Z eeƒeƒZ!eeƒe dƒZ"d„Z#e d e fd!„ƒYƒZ$d"„Z%d#„Z&ee$ƒe%ƒZ'ee$ƒe&ƒZ(d$S(%u CCG Combinators iÿÿÿÿ(tunicode_literals(tABCMetatabstractmethod(t add_metaclass(tpython_2_unicode_compatible(tFunctionalCategorytUndirectedBinaryCombinatorcBs,eZdZed„ƒZed„ƒZRS(u« Abstract class for representing a binary combinator. Merely defines functions for checking if the function and argument are able to be combined, and what the resulting category is. Note that as no assumptions are made as to direction, the unrestricted combinators can perform all backward, forward and crossed variations of the combinators; these restrictions must be added in the rule class. cCsdS(N((tselftfunctiontargument((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyt can_combine scCsdS(N((RRR ((s2lib/python2.7/site-packages/nltk/ccg/combinator.pytcombine$s(t__name__t __module__t__doc__RR R (((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyRs tDirectedBinaryCombinatorcBs,eZdZed„ƒZed„ƒZRS(uÝ Wrapper for the undirected binary combinator. It takes left and right categories, and decides which is to be the function, and which the argument. It then decides whether or not they can be combined. cCsdS(N((Rtlefttright((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR 2scCsdS(N((RRR((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR 6s(R R RRR R (((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR)stForwardCombinatorcBs5eZdZdd„Zd„Zd„Zd„ZRS(uÏ Class representing combinators where the primary functor is on the left. Takes an undirected combinator, and a predicate which adds constraints restricting the cases in which it may apply. ucCs||_||_||_dS(N(t _combinatort _predicatet_suffix(Rt combinatort predicatetsuffix((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyt__init__Ds  cCs%|jj||ƒo$|j||ƒS(N(RR R(RRR((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR Isccs)x"|jj||ƒD] }|VqWdS(N(RR (RRRtcat((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR NscCsd|j|jfS(Nu>%s%s(RR(R((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyt__str__Rs(R R RRR R R(((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR;s    tBackwardCombinatorcBs5eZdZdd„Zd„Zd„Zd„ZRS(uA The backward equivalent of the ForwardCombinator class. ucCs||_||_||_dS(N(RRR(RRRR((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR\s  cCs%|jj||ƒo$|j||ƒS(N(RR R(RRR((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR asccs)x"|jj||ƒD] }|VqWdS(N(RR (RRRR((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR fscCsd|j|jfS(Nu<%s%s(RR(R((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyRjs(R R RRR R R(((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyRVs    tUndirectedFunctionApplicationcBs)eZdZd„Zd„Zd„ZRS(uœ Class representing function application. Implements rules of the form: X/Y Y -> X (>) And the corresponding backwards application rule cCs)|jƒstS|jƒj|ƒdk S(N(t is_functiontFalsetargt can_unifytNone(RRR ((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR ws ccsM|jƒsdS|jƒj|ƒ}|dkr5dS|jƒj|ƒVdS(N(RR R!R"trest substitute(RRR tsubs((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR }s   cCsdS(Nu((R((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR‡s(R R RR R R(((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyRns  cCs|jƒjƒS(N(tdirt is_forward(RR((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyt forwardOnlyŽscCs|jƒjƒS(N(R&t is_backward(RR((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyt backwardOnly“stUndirectedCompositioncBs)eZdZd„Zd„Zd„ZRS(u¬ Functional composition (harmonic) combinator. Implements rules of the form X/Y Y/Z -> X/Z (B>) And the corresponding backwards and crossed variations. cCsc|jƒo|jƒstS|jƒjƒr_|jƒjƒr_|jƒj|jƒƒdk StS(N(RRR&t can_composeR R!R#R"(RRR ((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR ¥s $ccs¦|jƒo|jƒsdS|jƒjƒr¢|jƒjƒr¢|jƒj|jƒƒ}|dk r¢t|jƒj|ƒ|jƒj|ƒ|jƒƒVq¢ndS(N( RR&R,R R!R#R"RR$(RRR R%((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR ®s$ cCsdS(NuB((R((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyRºs(R R RR R R(((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR+œs cCs"|jƒjƒo!|jƒjƒS(N(R&R'(RR((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyt bothForward¿scCs"|jƒjƒo!|jƒjƒS(N(R&R)(RR((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyt bothBackwardÃscCs"|jƒjƒo!|jƒjƒS(N(R&R'R)(RR((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyt crossedDirsÈscCsLt||ƒstS|jƒjƒ r<|jƒjƒr<tS|jƒjƒS(N(R/RR&t can_crossR t is_primitive(RR((s2lib/python2.7/site-packages/nltk/ccg/combinator.pytbackwardBxConstraintÌs %RuxtUndirectedSubstitutioncBs)eZdZd„Zd„Zd„ZRS(uˆ Substitution (permutation) combinator. Implements rules of the form Y/Z (X\Y)/Z -> X/Z (t|jƒjƒ|jƒ|jƒƒVndS(N(R RR#R R&(RRR ((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR ûscCsdS(NuS((R((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyRs(R R RR R R(((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR3ás  cCs;t||ƒstS|jƒjƒjƒo:|jƒjƒS(N(R-RR#R&R'R R1(RR((s2lib/python2.7/site-packages/nltk/ccg/combinator.pytforwardSConstraintscCsd|jƒjƒ r)|jƒjƒr)tSt||ƒs<tS|jƒjƒjƒoc|jƒjƒS(N(R&R0RR-R#R)R R1(RR((s2lib/python2.7/site-packages/nltk/ccg/combinator.pytbackwardSxConstraint s %cCs)x"|jƒjƒr$|jƒ}qW|S(N(R#R(tcateg((s2lib/python2.7/site-packages/nltk/ccg/combinator.pytinnermostFunctionstUndirectedTypeRaisecBs)eZdZd„Zd„Zd„ZRS(u1 Undirected combinator for type raising. cCsW|jƒo|jƒjƒs"tSt|ƒ}tjtjƒƒ}|dk rSt StS(N( RR#RR7RR!t arg_categR R"tTrue(RRR R%((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR (s  ccs¡|jƒo'|jƒo'|jƒjƒs.dSt|ƒ}|j|jƒƒ}|dk r|jƒj|ƒ}t|t|||j ƒƒ|j ƒ ƒVndS(N( R1RR#R7R!R R"R$RR&(RRR R%txcat((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR ;s*  cCsdS(NuT((R((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyRKs(R R RR R R(((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyR8"s  cCs.t|ƒ}|jƒjƒo-|jƒjƒS(N(R7R&R)R#R1(RRR ((s2lib/python2.7/site-packages/nltk/ccg/combinator.pytforwardTConstraintTs cCs.t|ƒ}|jƒjƒo-|jƒjƒS(N(R7R&R'R#R1(RRR ((s2lib/python2.7/site-packages/nltk/ccg/combinator.pytbackwardTConstraintYs N()Rt __future__RtabcRRtsixRt nltk.compatRt nltk.ccg.apiRtobjectRRRRRR(R*tForwardApplicationtBackwardApplicationR+R-R.R/R2tForwardCompositiontBackwardCompositiont BackwardBxR3R4R5tForwardSubstitutiont BackwardSxR7R8R<R=tForwardTt BackwardT(((s2lib/python2.7/site-packages/nltk/ccg/combinator.pyt sT    "    $   1