§
    'ê[fî  ã                   óL   — d dl mZmZmZmZmZmZmZmZm	Z	m
Z
mZmZ dd„Zd„ ZdS )é    )ÚAllExpressionÚAndExpressionÚApplicationExpressionÚEqualityExpressionÚExistsExpressionÚIffExpressionÚImpExpressionÚNegatedExpressionÚOrExpressionÚVariableExpressionÚskolem_functionÚunique_variableNc           	      ó€  — |€t          ¦   «         }|€t          ¦   «         }t          | t          ¦  «        r^t          | j        || j        hz  || j        hz  ¦  «        }|                     | j        t          t          |¬¦  «        ¦  «        ¦  «        S t          | t          ¦  «        r-t          | j
        ||¦  «        t          | j        ||¦  «        z  S t          | t          ¦  «        r8t          t          | j
        ||¦  «        t          | j        ||¦  «        ¦  «        S t          | t          ¦  «        r9t          t          | j
         ||¦  «        t          | j        ||¦  «        ¦  «        S t          | t          ¦  «        rst          t          | j
         ||¦  «        t          | j        ||¦  «        ¦  «        t          t          | j
        ||¦  «        t          | j         ||¦  «        ¦  «        z  S t          | t           ¦  «        r| S t          | t"          ¦  «        �rÛ| j        }t          |t          ¦  «        r‚t          |j         |||j        hz  ¦  «        }|r(|                     |j        t%          |¦  «        ¦  «        S t          t          |¬¦  «        ¦  «        }|                     |j        |¦  «        S t          |t          ¦  «        r:t          t          |j
         ||¦  «        t          |j         ||¦  «        ¦  «        S t          |t          ¦  «        r/t          |j
         ||¦  «        t          |j         ||¦  «        z  S t          |t          ¦  «        r.t          |j
        ||¦  «        t          |j         ||¦  «        z  S t          |t          ¦  «        rst          t          |j
         ||¦  «        t          |j         ||¦  «        ¦  «        t          t          |j
        ||¦  «        t          |j        ||¦  «        ¦  «        z  S t          |t           ¦  «        r| S t          |t"          ¦  «        rt          |j        ||¦  «        S t          |t&          ¦  «        r_t          |j         ||j        hz  ||j        hz  ¦  «        }|                     |j        t          t          |¬¦  «        ¦  «        ¦  «        S t          |t(          ¦  «        r| S t+          d| z  ¦  «        ‚t          | t&          ¦  «        r�t          | j        ||| j        hz  ¦  «        }|r(|                     | j        t%          |¦  «        ¦  «        S t          t          |¬¦  «        ¦  «        }|                     | j        |¦  «        S t          | t(          ¦  «        r| S t+          d| z  ¦  «        ‚)zO
    Skolemize the expression and convert to conjunctive normal form (CNF)
    N)Úignorez'%s' cannot be skolemized)ÚsetÚ
isinstancer   Ú	skolemizeÚtermÚvariableÚreplacer   r   r   ÚfirstÚsecondr   Úto_cnfr	   r   r   r
   r   r   r   Ú	Exception)Ú
expressionÚ
univ_scopeÚused_variablesr   ÚnegatedÚskolem_constants         úF/var/www/piapp/venv/lib/python3.11/site-packages/nltk/sem/skolemize.pyr   r      sè  € ð ÐÝ‘U”Uˆ
ØÐÝ™œˆå�*�mÑ,Ô,ð bBÝØŒOØ˜*Ô-Ð.Ñ.Ø˜jÔ1Ð2Ñ2ñ
ô 
ˆð
 �|Š|ØÔÝ�°nÐEÑEÔEÑFÔFñ
ô 
ð 	
õ 
�J¥Ñ	.Ô	.ð XBÝ˜Ô)¨:°~ÑFÔFÍØÔ˜z¨>ñJ
ô J
ñ 
ð 	
õ 
�J¥Ñ	-Ô	-ð TBÝÝ�jÔ&¨
°NÑCÔCÝ�jÔ'¨°^ÑDÔDñ
ô 
ð 	
õ 
�J¥Ñ	.Ô	.ð OBÝÝ�zÔ'Ð'¨°^ÑDÔDÝ�jÔ'¨°^ÑDÔDñ
ô 
ð 	
õ 
�J¥Ñ	.Ô	.ð JBÝÝ�zÔ'Ð'¨°^ÑDÔDÝ�jÔ'¨°^ÑDÔDñ
ô 
õ Ý�jÔ&¨
°NÑCÔCÝ�zÔ(Ð(¨*°nÑEÔEñ
ô 
ñ
ð 	
õ 
�JÕ 2Ñ	3Ô	3ð BBØÐÝ	�JÕ 1Ñ	2Ô	2ñ @BØ”/ˆÝ�g�}Ñ-Ô-ð 1	FÝØ”�˜z¨>¸WÔ=MÐ<NÑ+Nñô ˆDð ð GØ—|’| GÔ$4µoÀjÑ6QÔ6QÑRÔRÐRå"4Ý#¨>Ð:Ñ:Ô:ñ#ô #�ð —|’| GÔ$4°oÑFÔFÐFÝ˜¥Ñ/Ô/ð &	FÝÝ˜7œ=˜.¨*°nÑEÔEÝ˜7œ>˜/¨:°~ÑFÔFñô ð õ ˜¥Ñ.Ô.ð !	FÝ˜gœm˜^¨Z¸ÑHÔHÍ9Ø”� ¨^ñLô Lñ ð õ ˜¥Ñ/Ô/ð 	FÝ˜Wœ]¨J¸ÑGÔGÍ)Ø”� ¨^ñKô Kñ ð õ ˜¥Ñ/Ô/ð 	FÝÝ˜7œ=˜.¨*°nÑEÔEÝ˜7œ>˜/¨:°~ÑFÔFñô õ Ý˜'œ-¨°^ÑDÔDÝ˜'œ.¨*°nÑEÔEñô ñð õ ˜Õ!3Ñ4Ô4ð 	FØÐÝ˜Õ!2Ñ3Ô3ð 	FÝ˜Wœ\¨:°~ÑFÔFÐFÝ˜Õ!1Ñ2Ô2ð 	FÝØ”�Ø˜gÔ.Ð/Ñ/Ø 'Ô"2Ð!3Ñ3ñô ˆDð
 —<’<ØÔ Ý"¥?¸.Ð#IÑ#IÔ#IÑJÔJñô ð õ ˜Õ!6Ñ7Ô7ð 	FØÐåÐ7¸*ÑDÑEÔEÐEÝ	�JÕ 0Ñ	1Ô	1ð BÝØŒO˜Z¨¸:Ô;NÐ:OÑ)Oñ
ô 
ˆð ð 	FØ—<’< 
Ô 3µ_ÀZÑ5PÔ5PÑQÔQÐQå0µÈÐ1WÑ1WÔ1WÑXÔXˆOØ—<’< 
Ô 3°_ÑEÔEÐEÝ	�JÕ 5Ñ	6Ô	6ð BØÐåÐ3°jÑ@ÑAÔAÐAó    c                 ó  — t          | t          ¦  «        r/t          | j        |¦  «        }t          | j        |¦  «        }||z  S t          |t          ¦  «        r/t          | |j        ¦  «        }t          | |j        ¦  «        }||z  S | |z  S )zI
    Convert this split disjunction to conjunctive normal form (CNF)
    )r   r   r   r   r   )r   r   Úr_firstÚr_seconds       r    r   r   ‡   sŒ   € õ �%�Ñ'Ô'ð 	Ý˜œ fÑ-Ô-ˆÝ˜%œ,¨Ñ/Ô/ˆØ˜Ñ!Ð!Ý	�F�MÑ	*Ô	*ð Ý˜ ¤Ñ-Ô-ˆÝ˜% ¤Ñ/Ô/ˆØ˜Ñ!Ð!à�v‰~Ðr!   )NN)Únltk.sem.logicr   r   r   r   r   r   r	   r
   r   r   r   r   r   r   © r!   r    ú<module>r'      sÇ   ððð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð ð kBð kBð kBð kBð\ð ð ð ð r!   