| Server IP : 54.37.205.81 / Your IP : 216.73.216.76 Web Server : nginx/1.22.1 System : Linux vps-249481fa 6.1.0-50-cloud-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.176-1 (2026-07-02) x86_64 User : debian ( 1000) PHP Version : 8.2.32 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : OFF Directory : /usr/lib/python3/dist-packages/nltk/ccg/__pycache__/ |
Upload File : |
�
T�c � �* � d Z ddlT d� Zd� Zd� Zd� ZdS )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 �0/usr/lib/python3/dist-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 dt |� � z dz � � �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 � � rt | j t � � s J dt | � � z dz � � �t |t � � s J dt |� � z dz � � �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