NgZLddlmZmZmZmZmZmZmZmZm Z m Z m Z m Z ddZ dZdS)) AllExpression AndExpressionApplicationExpressionEqualityExpressionExistsExpression IffExpression ImpExpressionNegatedExpression OrExpressionVariableExpressionskolem_functionunique_variableNc  |t}|t}t|tr^t|j||jhz||jhz}||jtt|St|tr-t|j ||t|j ||zSt|tr8tt|j ||t|j ||St|tr9tt|j ||t|j ||St|trstt|j ||t|j ||tt|j ||t|j ||zSt|t r|St|t"r|j}t|trt|j |||jhz}|r(||jt%|Stt|}||j|St|tr:tt|j ||t|j ||St|tr/t|j ||t|j ||zSt|tr.t|j ||t|j ||zSt|trstt|j ||t|j ||tt|j ||t|j ||zSt|t r|St|t"rt|j||St|t&r_t|j ||jhz||jhz}||jtt|St|t(r|St+d|zt|t&rt|j|||jhz}|r(||jt%|Stt|}||j|St|t(r|St+d|z)zO Skolemize the expression and convert to conjunctive normal form (CNF) N)ignorez'%s' cannot be skolemized)set isinstancer skolemizetermvariablereplacer rrfirstsecondr to_cnfr rrr r rr Exception) expression univ_scopeused_variablesrnegatedskolem_constants N/var/www/html/ai-engine/env/lib/python3.11/site-packages/nltk/sem/skolemize.pyrrsUU *m,,bB O *-. . j12 2   ||   nEEE F F    J . .XB):~FF  z>J J    J - -TB j& N C C j'^ D D    J . .OB z''^ D D j'^ D D    J . .JB z''^ D D j'^ D D    j& N C C z((*n E E     J 2 3 3BB J 1 2 2@B/ g} - -1 F z>W=M:::##||G$4oFFF  / /& F7=.*nEE7>/:~FF  . .! Fgm^ZHH9^LL  / / FW]JGG)^KK  / / F7=.*nEE7>/:~FF'-^DD'.*nEE !3 4 4 F  !2 3 3 FW\:~FF F !1 2 2 F g.//'"2!33D << "?.#I#I#IJJ !6 7 7 F 7*DEE E J 0 1 1 B OZ:;N:O)O    F<< 3_Z5P5PQQ Q01W1W1WXXO<< 3_EE E J 5 6 6B3j@AAAct|tr/t|j|}t|j|}||zSt|tr/t||j}t||j}||zS||zS)zI Convert this split disjunction to conjunctive normal form (CNF) )rrrrr)rrr_firstr_seconds r rrs%'' f--%,//!! FM * * --%//!!v~r!)NN)nltk.sem.logicrrrrrrr r r r r rrrr!r r's                             kBkBkBkB\     r!