nltk.sem.skolemize()¶

nltk.sem.skolemize(expression, univ_scope=None, used_variables=None)[source]¶

Skolemize the expression and convert to conjunctive normal form (CNF)