JL i]2dZddlZddldZdZdZdZy)z0 Helper functions for CCG semantics computation N)*cdtj|}|}d}t|tr|}|j}t|trt d}||j vrt|}||j vrtt||}|||_n|}t||S)NF)pattern) copydeepcopy isinstanceLambdaExpressiontermVariablefreeunique_variableApplicationExpressionFunctionVariableExpression) semanticssemantics_copycoreparentvars T/mnt/ssd/data/python-lab/Trading/venv/lib/python3.12/site-packages/nltk/ccg/logic.pycompute_type_raised_semanticsrs]]9-N D F T+ ,yy T+ , 3-C  c*   !;C!@$ GD   C 00c6t||jS)N)rsimplifyfunctionarguments rcompute_function_semanticsr%s 8 4 = = ??rct|tsJdt|zdzt|jt ||j j S)N`` must be a lambda expression)r r strvariablerr rrs rcompute_composition_semanticsr$)s[ h 0 1 c(m== 1 08==IRRT rct|trt|jtsJdt|zdzt|tsJdt|zdzt |t |j j}t |j|j}t|j |S)Nr z.` must be a lambda expression with 2 argumentsr!)r r r r"rVariableExpressionr#r)rr new_argumentnew_terms rcompute_substitution_semanticsr)2s h 0 1j '7P c(mNNP  h 0 1 c(m== 1)$X%6%67hj%X]]LAJJLH H--x 88r)__doc__rnltk.sem.logicrrr$r)rrr-s' 1*@ 9r