§
    'ê[fO  ã                   ó*   — d Z ddlT d„ Zd„ Zd„ Zd„ ZdS )z0
Helper functions for CCG semantics computation
é    )Ú*c                 óx  — | }d }t          |t          ¦  «        r|}|j        }t          |t          ¦  «        °t          d¦  «        }||                     ¦   «         v r&t          |¬¦  «        }||                     ¦   «         v °&t          t          |¦  «        |¦  «        }|�||_        n|} t          || ¦  «        S )NÚF)Úpattern)Ú
isinstanceÚLambdaExpressionÚtermÚVariableÚfreeÚunique_variableÚApplicationExpressionÚFunctionVariableExpression)Ú	semanticsÚcoreÚparentÚvars       úB/var/www/piapp/venv/lib/python3.11/site-packages/nltk/ccg/logic.pyÚcompute_type_raised_semanticsr      sÁ   € Ø€DØ€FÝ
�TÕ+Ñ
,Ô
,ð ØˆØŒyˆõ �TÕ+Ñ
,Ô
,ð õ �3‰-Œ-€CØ
�—’‘”Ð
Ð
Ý cÐ*Ñ*Ô*ˆð �—’‘”Ð
Ð
å Õ!;¸CÑ!@Ô!@À$ÑGÔG€DàÐØˆŒˆàˆ	å˜C Ñ+Ô+Ð+ó    c                 óF   — t          | |¦  «                             ¦   «         S )N)r   Úsimplify©ÚfunctionÚarguments     r   Úcompute_function_semanticsr   "   s   € Ý  ¨8Ñ4Ô4×=Ò=Ñ?Ô?Ð?r   c                 óÚ   — t          |t          ¦  «        sJ dt          |¦  «        z   dz   ¦   «         ‚t          |j        t	          | |j        ¦  «                             ¦   «         ¦  «        S )Nú`ú` must be a lambda expression)r   r   ÚstrÚvariabler   r	   r   r   s     r   Úcompute_composition_semanticsr!   &   sr   € Ý�hÕ 0Ñ1Ô1ð ð Ø�c�(‰mŒmÑÐ=Ñ=ñô ð õ ØÔÕ0°¸8¼=ÑIÔI×RÒRÑTÔTñô ð r   c                 óÞ  — t          | t          ¦  «        rt          | j        t          ¦  «        sJ dt          | ¦  «        z   dz   ¦   «         ‚t          |t          ¦  «        sJ dt          |¦  «        z   dz   ¦   «         ‚t	          |t          | j        ¦  «        ¦  «                             ¦   «         }t	          | j        |¦  «                             ¦   «         }t          | j        |¦  «        S )Nr   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&   /   sù   € Ý�hÕ 0Ñ1Ô1ð PµjØŒÕ'ñ7ô 7ð Pð Pà�c�(‰mŒmÑÐNÑNñPô Pð Põ �hÕ 0Ñ1Ô1ð ð Ø�c�(‰mŒmÑÐ=Ñ=ñô ð õ )ØÕ$ XÔ%6Ñ7Ô7ñô ç‚h�j„jð õ % X¤]°LÑAÔA×JÒJÑLÔL€Hå˜HÔ-¨xÑ8Ô8Ð8r   N)Ú__doc__Únltk.sem.logicr   r   r!   r&   © r   r   ú<module>r*      sf   ððð ð Ð Ð Ð ð,ð ,ð ,ð(@ð @ð @ðð ð ð9ð 9ð 9ð 9ð 9r   