+
    ÖÇÜh]  ã                   ó4   € R t ^ RIt^ RI5 R tR tR tR tR# )z0
Helper functions for CCG semantics computation
N)Ú*c                 ó6  € \         P                  ! V 4      pTpR p\        V\        4      '       d   TpVP                  pK&  \        R4      pWBP                  4       9   d   \        VR7      pK"  \        \        V4      V4      pVe   W#n        MTp\        WA4      # )NÚF)Úpattern)
ÚcopyÚdeepcopyÚ
isinstanceÚLambdaExpressionÚtermÚVariableÚfreeÚunique_variableÚApplicationExpressionÚFunctionVariableExpression)Ú	semanticsÚsemantics_copyÚcoreÚparentÚvars   &    Ú0/usr/lib/python3/dist-packages/nltk/ccg/logic.pyÚcompute_type_raised_semanticsr      s‚   € Ü—]’] 9Ó-€NØ€DØ€FÜ
�TÔ+×
,Ò
,ØˆØ�y‰yŠä
�3‹-€CØ
—‘“Ô
Ü cÔ*ŠÜ Ô!;¸CÓ!@À$ÓG€DàÒØ�àˆä˜CÓ0Ð0ó    c                 ó4   € \        W4      P                  4       # )N)r   Úsimplify©ÚfunctionÚarguments   &&r   Úcompute_function_semanticsr   %   s   € Ü  Ó4×=Ñ=Ó?Ð?r   c                 óØ   € \        V\        4      '       g   Q R \        V4      ,           R,           4       h\        VP                  \	        WP
                  4      P                  4       4      # )Ú`ú` must be a lambda expression)r   r	   ÚstrÚvariabler   r
   r   r   s   &&r   Úcompute_composition_semanticsr#   )   s\   € Ü�hÔ 0×1Ò1ð ØŒc�(‹mÕÐ=Õ=óÐ1ô Ø×ÑÔ0°¿=¹=ÓI×RÑRÓTóð r   c                 óà  € \        V \        4      '       d!   \        V P                  \        4      '       g   Q R \        V 4      ,           R,           4       h\        V\        4      '       g   Q R \        V4      ,           R,           4       h\	        V\        V P                  4      4      P                  4       p\	        V P                  V4      P                  4       p\        V P                  V4      # )r   z.` must be a lambda expression with 2 argumentsr    )r   r	   r
   r!   r   ÚVariableExpressionr"   r   )r   r   Únew_argumentÚnew_terms   &&  r   Úcompute_substitution_semanticsr(   2   sÍ   € Ü�hÔ 0×1Ò1´jØ�‰Ô'÷7ò 7ð PàŒc�(‹mÕÐNÕNóPð ô �hÔ 0×1Ò1ð ØŒc�(‹mÕÐ=Õ=óÐ1ô )ØÔ$ X×%6Ñ%6Ó7óç�hƒjð ô % X§]¡]°LÓA×JÑJÓL€Hä˜H×-Ñ-¨xÓ8Ð8r   )Ú__doc__r   Únltk.sem.logicr   r   r#   r(   © r   r   Ú<module>r,      s'   ðñó ä ò1ò*@òô9r   