ķ ų`]c@s8dZddlTd„Zd„Zd„Zd„ZdS(s0 Helper functions for CCG semantics computation i˙˙˙˙(t*cCsĨ|}d}x"t|tƒr0|}|j}qWtdƒ}x%||jƒkrdtd|ƒ}q@Wtt|ƒ|ƒ}|dk r’||_n|}t||ƒS(NtFtpattern( tNonet isinstancetLambdaExpressionttermtVariabletfreetunique_variabletApplicationExpressiontFunctionVariableExpression(t semanticstcoretparenttvar((s-lib/python2.7/site-packages/nltk/ccg/logic.pytcompute_type_raised_semanticss    cCst||ƒjƒS(N(R tsimplify(tfunctiontargument((s-lib/python2.7/site-packages/nltk/ccg/logic.pytcompute_function_semantics"scCsKt|tƒs)tdt|ƒdƒ‚t|jt||jƒjƒƒS(Nt`s` must be a lambda expression(RRtAssertionErrortstrtvariableR RR(RR((s-lib/python2.7/site-packages/nltk/ccg/logic.pytcompute_composition_semantics&scCsĒt|tƒr!t|jtƒs;tdt|ƒdƒ‚t|tƒsdtdt|ƒdƒ‚t|t|jƒƒjƒ}t|j|ƒjƒ}t|j|ƒS(NRs.` must be a lambda expression with 2 argumentss` must be a lambda expression( RRRRRR tVariableExpressionRR(RRt new_argumenttnew_term((s-lib/python2.7/site-packages/nltk/ccg/logic.pytcompute_substitution_semantics/sN(t__doc__tnltk.sem.logicRRRR(((s-lib/python2.7/site-packages/nltk/ccg/logic.pyt s